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