The correctness problem in computer science

The correctness problem in computer science

Manylion Llyfryddiaeth
Awduron Eraill: Boyer, Robert S., Moore, J Strother, 1947-
Fformat: Llyfr
Iaith:English
Cyhoeddwyd: London Academic Press 1981.
Pynciau:
Computer programs > Correctness.