База данных: Книги ретро
Страница 1, Результатов: 1
Отмеченные записи: 0
1.
Подробнее
К78
Красовицкий, А. М.
Спецификация и верификация программ [Текст] : учеб.пособие / А. М. Красовицкий. - Алматы : Print S, 2004. - 86 с. - ISBN 996593438Х : [Б.ц.] тг.
ББК 32.973я7
Рубрики: ТЕХНИКА
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
ЭВМ И УСТРОЙСТВА
Кл.слова (ненормированные):
вычислительная техника -- компьютер -- спецификация -- верификация -- классификация стилей -- диаграммы -- программирование -- формальные методы -- язык спецификации -- учебное пособие
Экземпляры всего: 1
2.1-№2 оқу залы (1)
Свободны: 2.1-№2 оқу залы (1)
К78
Красовицкий, А. М.
Спецификация и верификация программ [Текст] : учеб.пособие / А. М. Красовицкий. - Алматы : Print S, 2004. - 86 с. - ISBN 996593438Х : [Б.ц.] тг.
Рубрики: ТЕХНИКА
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
ЭВМ И УСТРОЙСТВА
Кл.слова (ненормированные):
вычислительная техника -- компьютер -- спецификация -- верификация -- классификация стилей -- диаграммы -- программирование -- формальные методы -- язык спецификации -- учебное пособие
Экземпляры всего: 1
2.1-№2 оқу залы (1)
Свободны: 2.1-№2 оқу залы (1)
Страница 1, Результатов: 1