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