Электронный каталог

Книга
УДК 621.398 А651

Андерсон, Р.
Доказательство правильности программ : пер. с англ. / Р. Андерсон. – М. : Мир, 1982. – 163 с.

621.398 А651

Тезаурус = ГАСНТИ 50.33
Тезаурус = Автоматика. Вычислительная техника : цифровые вычислительные машины и комплексы
Тезаурус = ГАСНТИ 50.05
Тезаурус = Автоматика. Вычислительная техника : Теоретические основы программирования
Тезаурус = ГАСНТИ 28.17
Тезаурус = Кибернетика : теория моделирования

805338 Кх