The correctness problem in computer science

The correctness problem in computer science

Bibliografiske detaljer
Andre forfattere: Boyer, Robert S., Moore, J Strother, 1947-
Format: Bog
Sprog:English
Udgivet: London Academic Press 1981.
Fag:
Computer programs > Correctness.