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

Bibliographic Details
Main Author: Baber, Robert Laurence
Format: Book
Language:English
Published: Chichester, England ; New York : Wiley, [1991]
Series:Wiley professional computing.
Wiley series in software engineering practice.
Subjects:
Description
Item Description:Translation of: Fehlerfreie Programmierung für den Software-Zauberlehrling.
Reference card for applying the proof rules in back pocket.
Physical Description:xii, 156 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references (pages [149]-150) and index.
ISBN:0471930164 :