QR-код документа
А65
Андерсон, Роберт.
Доказательство правильности программ / Р. Андерсон ; Пер. с англ. Б. Н. Зобниной. - Москва : Мир, 1982. - 163 с. ; 20 см. - Библиогр.: с. 155-159 (95 назв. ). - Предм. указ.: с. 160-161. - 20000 экз. - Б. ц.
Перевод изд.: Proving programs correct/ Robert B. Anderson (New Jork etc., 1979)
Рубрики: Цифровые вычислительные машины--Математическое обеспечение--Надежность
Держатели документа:
Национальная библиотека им. А. С. Пушкина, г. Саранск
Похожие издания по классификации