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