Error-free software:know-how and know-why of program correctness
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Chichester
John Wiley & Sons
1991
|
| Series: | Wiley series in software engineering practice
|
| Subjects: |
| Physical Description: | vii,156p. 23cm |
|---|---|
| ISBN: | 0471930164 |