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
|