Спецификация и верификация программ/Красовицкий, А.М.

 

QR-код документа

Оценок: 0

32.973-018
К 78
Красовицкий, А. М.
    Спецификация и верификация программ : учебное пособие / А. М. Красовицкий. - Алматы : Print, 2004. - 85 c. - ISBN 996593438Х : 235.00 тг.

ББК 32.973-018

Рубрики: Компьютеры(ЭВМ). Программирование

Кл.слова (ненормированные):
Программирование -- Язык -- Методы спецификации
Аннотация: Пособие может быть рекомендовано студентам информационных, физико-математических и технических специальностей.
Держатели документа:
ЗКГУ
Экземпляры всего: 6
чз2 (6)
Свободны: чз2 (6)

Авторизуйтесь для получения дополнительных услуг

Похожие издания по классификации

С/С++. Жоғарғы деңгейлі тілде программалау/Павловская, Т.А.
С/С++ Программирование на языке высокого уровня/Павловская, Т.А.
Бағдарламалық жасақтама/Соммервиль, И. . Т.1.
Основы информационной безопасности/Цирлов, В.Л.
С/С++.Структурное программирование/Павловская, Т.А.