З 973.5 А 65 Андерсон, Роберт. Доказательство правильности программ : научное издание / Р. Андерсон ; пер. Б. Н. Зобнина ; ред. Д. Б. Подшивалов. - М. : Мир, 1982. - 163 с. : табл., рис. - Предм. указ.: с. 160-161. - 0.60 р. Доп. тит. л. на англ.
Рубрики: Вычислительные машины--Программы Держатели документа: ИСЭМ Доп.точки доступа: Зобнина, Б. Н. \пер.\; Подшивалов, Д. Б. \ред.\ Имеются экземпляры в отделах: ХР Инв.31634 (свободен) |