The correctness problem in computer science

Библиографические подробности
Другие авторы:	Boyer, Robert S., Moore, J Strother, 1947-
Формат:	‌
Язык:	английский
Опубликовано:	London Academic Press 1981.
Предметы:	Computer programs > Correctness.