Backhouse, Roland Carl <br/><br/>
Program construction and verification 

 - Englewood Cliffs, N.J. :  Prentice/Hall International,  1986 
 - 281 
<br/><br/><label>ISBN: </label>0137291469 
<br/><br/><label>Subjects--Topical Terms: </label><br/>ELECTRONIC DIGITAL COMPUTERS--PROGRAMMING
<br/><br/><label>LC Class. No.: </label>QA76.7  / B324P