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
|