База данных: Электронный Каталог книг
Страница 1, Результатов: 1
Отмеченные записи: 0
1.
Подробнее
К 78
Красовицкий, А. М.
Спецификация и верификация программ : учебное пособие / А. М. Красовицкий. - Алматы : Print, 2004. - 85 c. - ISBN 996593438Х : 235.00 тг.
ББК 32.973-018
Рубрики: Компьютеры(ЭВМ). Программирование
Кл.слова (ненормированные):
Программирование -- Язык -- Методы спецификации
Аннотация: Пособие может быть рекомендовано студентам информационных, физико-математических и технических специальностей.
Держатели документа:
ЗКГУ
Экземпляры всего: 6
чз2 (6)
Свободны: чз2 (6)
К 78
Красовицкий, А. М.
Спецификация и верификация программ : учебное пособие / А. М. Красовицкий. - Алматы : Print, 2004. - 85 c. - ISBN 996593438Х : 235.00 тг.
Рубрики: Компьютеры(ЭВМ). Программирование
Кл.слова (ненормированные):
Программирование -- Язык -- Методы спецификации
Аннотация: Пособие может быть рекомендовано студентам информационных, физико-математических и технических специальностей.
Держатели документа:
ЗКГУ
Экземпляры всего: 6
чз2 (6)
Свободны: чз2 (6)
Страница 1, Результатов: 1