BABER, R.L <br/><br/>
ERROR FREE SOFTWARE: KNOW HOW AND KNOW WHY OF PROGRAM CORRECTNESS. 

 - NEW YORK  Wiley  1991 
 - 23X16 
<br/><br/><label>ISBN: </label>0471930164 
<br/><br/><label>Dewey Class. No.: </label>621. 38196425 B113