А 65 Андерсон, Р. Доказательство правильности программ [Текст] / Пер.с англ.Б.Н.Зобниной под ред.Д.В.Подшивалова. - Москва : Мир , 1982. - 168 с. : ил. ; 20см. - Библиогр.: с. 154-159. - 20000 экз.. - 0.60 р. Рубрики: Программирование ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |