Baber, Robert Laurence. <br/><br/>
Error-free software :  know-how and know-why of program correctness / 
Robert Laurence Baber ; translated from the German original by the author. 
 - Chichester, England ;  New York :  Wiley,  c1991. 
 - xii, 156 p. ;  24 cm. 
 - Wiley series in software engineering practice Wiley professional computing .
<br/><br/> Translation of: Fehlerfreie Programmierung f�ur den Software-Zauberlehrling. 
<br/><br/>Includes bibliographical references (p. [149]-150) and index. 
<br/><br/><label>ISBN: </label>0471930164 :  $37.90 
<br/><br/><label>Source: </label>B-15515 
<br/><br/><label>LCCN: </label>91012380  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Reliability.<br/>Computer software--Development.
<br/><br/><label>LC Class. No.: </label>QA76.76.R44  / .B33 1991 
<br/><br/><label>Dewey Class. No.: </label>005