Error-free software: know-how and know-why of program correctness

Media type: Book
Title: Error-free software : know-how and know-why of program correctness
Work titles: Fehlerfreie Programmierung für den Software-Zauberlehrling <engl.>
Baber, Robert Laurence: Fehlerfreie Programmierung für den Software-Zauberlehrling <engl.>
Contributor: Baber, Robert Laurence [Author];
imprint: Chichester [u.a.]: Wiley, c1991
Published in: Wiley series in software engineering practice
Wiley professional computing
Extent: VII, 156 S; graph. Darst; 24 cm; 1 Beil
Language: English
ISBN: 0471930164
RVK notation: ST 233 : Programmverifikation, -qualität, -test, -bewertung Test etc.
ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge
Keywords: Software engineering ; Computer ; Reliability ; Development
Origination:
Footnote: Literaturverz. S. [149] - 150

Error-free software : know-how and know-why of program correctness