Baber, Robert Laurence.
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 .
Translation of: Fehlerfreie Programmierung f�ur den Software-Zauberlehrling.
Includes bibliographical references (p. [149]-150) and index.
0471930164 : $37.90
B-15515
91012380
Computer software--Reliability.
Computer software--Development.
QA76.76.R44 / .B33 1991
005
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 .
Translation of: Fehlerfreie Programmierung f�ur den Software-Zauberlehrling.
Includes bibliographical references (p. [149]-150) and index.
0471930164 : $37.90
B-15515
91012380
Computer software--Reliability.
Computer software--Development.
QA76.76.R44 / .B33 1991
005