База данных: Электронный Каталог
Беті 1, Нәтижелерін: 1
Отмеченные записи: 0
1.
Подробнее
К 78
Красовицкий, А. М.
Спецификация и верификация программ : учеб. пособ. / А. М. Красовицкий. - Алматы : Print-S, 2004. - 85 с. - 235т. 00т. тг.
ББК 32.973я73
Рубрики: Вычислительная техника
Кл.слова (ненормированные):
Информатика -- Спецификация программ -- Программирование
Экземпляры всего: 6
Х/р (1), ЧЗ.1 (3), Ч/з (2)
Свободны: Х/р (1), ЧЗ.1 (3), Ч/з (2)
К 78
Красовицкий, А. М.
Спецификация и верификация программ : учеб. пособ. / А. М. Красовицкий. - Алматы : Print-S, 2004. - 85 с. - 235т. 00т. тг.
| УДК |
Рубрики: Вычислительная техника
Кл.слова (ненормированные):
Информатика -- Спецификация программ -- Программирование
Экземпляры всего: 6
Х/р (1), ЧЗ.1 (3), Ч/з (2)
Свободны: Х/р (1), ЧЗ.1 (3), Ч/з (2)
Беті 1, Нәтижелерін: 1