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>0137291531 : 0137291469 (pbk.) 
<br/><br/><label>LCCN: </label>85016883  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming.--MIS
<br/><br/><label>Dewey Class. No.: </label>005 BAC