The correctness problem in computer science

Podrobná bibliografie
Další autoři:	Boyer, Robert S., Moore, J Strother, 1947-
Médium:	Kniha
Jazyk:	English
Vydáno:	London Academic Press 1981.
Témata:	Computer programs > Correctness.