База данных: Электронный каталог КазНУВХиИ
Страница 1, Результатов: 1
Отмеченные записи: 0
1.
Подробнее
32.87я7
К78
Красовицкий, А. М.
Спецификация и верификация программ [Текст] : Учеб.пособие / А. М. Красовицкий. - Алматы : Print-S, 2004. - 85 с. - ISBN 996593438X : 235т. 00т. тг.
ББК 32.87я7
Рубрики: ТЕХНИКА. ТЕХНИЧЕСКИЕ НАУКИ
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
Кл.слова (ненормированные):
техника -- вычислительная техника -- спецификация -- верификация -- учебное пособие -- безвозмездно
Экземпляры всего: 3
гидро 6- 5 (3)
Свободны: гидро 6- 5 (3)
К78
Красовицкий, А. М.
Спецификация и верификация программ [Текст] : Учеб.пособие / А. М. Красовицкий. - Алматы : Print-S, 2004. - 85 с. - ISBN 996593438X : 235т. 00т. тг.
| УДК |
Рубрики: ТЕХНИКА. ТЕХНИЧЕСКИЕ НАУКИ
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
Кл.слова (ненормированные):
техника -- вычислительная техника -- спецификация -- верификация -- учебное пособие -- безвозмездно
Экземпляры всего: 3
гидро 6- 5 (3)
Свободны: гидро 6- 5 (3)
Страница 1, Результатов: 1