005.14  / R449 <br/>
       Rigorous software development : an introduction to program verification 
 / Jose Bacelar Almeida ...[et al.] 
 .- London: Springer,  2011 
 .- xii, 263p . 
.- ( Undergraduate topics in computer science   
<br><u>ISBN:</u> 9780857290175 
<br/><u>Subject Headings:</u> <br/>Computer software -- Verification;
<br/><U>Author Added Entry: </u><br/>Almeida, Jose Bacelar;<br/>Frade, Maria João;<br/>Pinto, Jorge Sousa;<br/>Melo de Sousa, Simão;
<br><U>Copy Details:</u><br> Acc. No.: <b>A173828</b>, Full Call No.: 005.14 R449,   Item type:  Books , Location: COMPACT STORAGE (BASEMENT), <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>