Almeida, José Bacelar  <br/><br/>
Rigorous Software Development  introduction to program verification 

 - London  Springer  2011 
 - xii, 261p. 
 - Undergraduate Topics in Computer Science .
<br/><br/><label>ISBN: </label>9780857290175 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Verification<br/>Software engineering<br/>Logic design
<br/><br/><label>Dewey Class. No.: </label>005.14 A164r