Backhouse, Roland C  . <br/><br/>
Program construction and verification /   Textual Documents 
Roland C Backhouse. 
 - London :   Prentice -Hall International, Inc. ,   1986. 
 - NULL ;   NULL. 
<br/><br/><label>Subjects--Index Terms: </label>Program verification 
<br/><br/><label>Dewey Class. No.: </label>005.14  / BAC