Formal methods of program verification and specification / 
H.K. Berg ... [et al.]. 
 - Englewood Cliffs, N.J. :  Prentice-Hall,  c1982. 
 - xiv, 207 p. :  ill. ;  24 cm. 
 - Prentice-Hall software series .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>0133288072 
<br/><br/><label>Source: </label>B-6351 
<br/><br/><label>LCCN: </label>81022719  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programs--Verification.<br/>Computer programs--Specifications.<br/>Formal methods (Computer science)
<br/><br/><label>LC Class. No.: </label>QA76.6  / .F65 1982 
<br/><br/><label>Dewey Class. No.: </label>001.65/24