Error-free software : know-how and know-why of program correctness
| Main Author: | |
|---|---|
| Format: | Book |
| Published: |
Chichester, West Sussex, England :
John Wiley ,
c1991
|
| Series: | Wiley series in software engineering practice
|
| Subjects: |
| Physical Description: | vii, 156 p. ; ; 25 cm. |
|---|---|
| Bibliography: | Includes bibliographical references (p. 149-150) and index |
| ISBN: | 0471930164 |