Error-free software
Subtitle: know-how and know-why of program correctness
By: Robert Laurence Baber ; translated from the German original by the author.
Series: Wiley series in software engineering practice; Wiley professional computing
Publisher: Wiley
Published: 1991
Place of publication: Chichester, England; New York
Language: eng
Number of pages: 156
Subjects: Computer software -- Reliability.; Computer software -- Development.
Notes: Includes bibliographical references (p. [149]-150) and index.
Translation of: Fehlerfreie Programmierung für den Software-Zauberlehrling.