Loeckx, J. J. C. <br/><br/>
The Foundations of program verification  [[Book] /] 
Jacques Loeckx and Kurt Sieber, in collaboration with Ryan D. Stansifer. 
 - Stuttgart [Germany] :  Chichester ;  New York :  B.G. Teubner ;  Wiley,  1984. 
 - 230 p ;  24 cm. 
 - Wiley-Teubner series in computer science .
 - Wiley-Teubner series in computer science .
<br/><br/> Includes index. 
<br/><br/>Bibliography: p. 222-226. 
<br/><br/> All age. 
<br/><br/><label>ISBN: </label>047190323X : 047190323X  047190323X : 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programs--Verification.<br/>Logiciels--Vérification.
<br/><br/><label>Dewey Class. No.: </label>001.642 001.642 001.642 
<br/><br/><label>National Library of Medicine Call No.: </label> / L F