Anderson, Robert Brockett, <br/><br/>
Proving programs correct /  
Robert B. Anderson. 
 - New York :  Wiley,  c1979. 
 - viii, 184 p. :  ill. ;  23 cm. 
<br/><br/>Mathematical Induction (Page-1), Proving the Correctness of Flowchart Programs (Page-21), Proving the Correctness of Programs Written in a Standard Programming Language (Page-91), Proving the Correctness of Recursive Programs (Page-120), Current Research Related to Proving Program Correctness (Page-164). 
<br/><br/><label>ISBN: </label>0471033952 
<br/><br/><label>LCCN: </label>78009321 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programs--Testing.<br/>Debugging in computer science.
<br/><br/><label>Dewey Class. No.: </label>005.14,AND