The Correctness problem in computer science
edited by R. S. Boyer and J. Strother Moore
Bok Engelsk 1981
| Utgitt | London : Academic Press , 1981
|
|---|---|
| Omfang | xiii,279 s. : ill.
|
| Emner | Databehandling - Pålitelighet
Programmering (Databehandling) programmering testing programverifisering |
| ISBN | 0121229203
|
