Error-free software : know-how and know-why of program correctness /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Chichester, England ; New York :
Wiley,
[1991]
|
| Series: | Wiley professional computing.
Wiley series in software engineering practice. |
| Subjects: |
| 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 : |