001.6424  / L822f <br/>
Loeckx, Jacques <br/>
       Foundations of program verification 
 / Jacques Loeckx and Kurt Sieber 
 .- Chichester, New York: John Wiley,  1984 
 .- ix, 230p . 
.- ( Wiley-Teubner Series In Computer Science   
<br/>Bibliography : P. 222-226 
<br/><u>Subject Headings:</u> <br/>Computer Programs;
<br/><U>Author Added Entry: </u><br/>Sieber, Kurt;
<br><U>Copy Details:</u><br> Acc. No.: <b>A90060</b>, Full Call No.: 001.6424 L822f,   Item type:  Books , Location: General Stacks, <br><b>------------------------- --------------------- ------ --------- ------- ------- --------- -------- </b><br>