Error-free software : know-how and know-why of program correctness
Robert Laurence Baber ; translated from the German original by the author
Bok Engelsk 1991
| Annen tittel | |
|---|---|
| Utgitt | Chichester : Wiley , c1991
|
| Omfang | xii, 156 s. : fig.
|
| Emner | |
| ISBN | 0471930164
|
