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