The correctness problem in computer science

Bibliographische Detailangaben
Weitere Verfasser:	Boyer, Robert S., Moore, J Strother, 1947-
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	London Academic Press 1981.
Schlagworte:	Computer programs > Correctness.