Backhouse, Roland C.,  , 1948- <br/><br/>
Program construction and verification / 
Roland C. Backhouse. 
 - Englewood Cliffs, N.J. :  Prentice-Hall International,  c1986. 
 - xi, 281 p. :  ill. ;  24 cm. 
<br/><br/> Includes index. 
<br/><br/>Bibliography: p. 220-223. 
<br/><br/><label>ISBN: </label>0137291469 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic digital computers--Programming.
<br/><br/><label>Dewey Class. No.: </label>005 BAC 1986