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. 
<br/><br/><label>ISBN: </label>0137291531 :  $34.95 0137291469 (pbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programming
<br/><br/><label>LC Class. No.: </label>QA76.7  / .B28 1986 
<br/><br/><label>Dewey Class. No.: </label>005�19