6П2.154 А651 Андерсон, Р. Доказательство правильности программ : научное издание / Р. Андерсон ; Пер. с англ. Б. Н. Зобниной ; Под ред. Д. Б. Подшивалова. - М. : Мир, 1982. - 164 с. - Б. ц. ГРНТИ 50.41 УДК:004.4 фывфывфыв: правильность программ Доп.точки доступа: Зобнина, Б.Н. \пер.\ --- Подшивалов, Д.Б. \ред.\ --- Экземпляры всего: 1 Mесто хранения: кх (1) Свободны: кх (1) |