QR-код документа
6П2.154.5
А65
Андерсон, Р.
Доказательство правильности программ [Текст] / Пер.с англ.Б.Н.Зобниной.; Под ред.Д.Б.Подшивалова. - М. : Мир, 1982. - 168 с. - 0р.60к.
| УДК | 6П2.154.5 |
Рубрики: ТЕХНИКА
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
ЭВМ И УСТРОИСТВА
Кл.слова (ненормированные):
техника -- вычислительная техника -- программа -- правильность программ
Экземпляры всего: 1
2.1-№2 оқу залы (1)
Свободны: 2.1-№2 оқу залы (1)