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

 

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

Оценок: 0

004.415.5(07)
К 78
Красовицкий, А. М.
    Спецификация и верификация программ : учеб. пособ. / А. М. Красовицкий. - Алматы : Print-S, 2004. - 85 с. - 235т. 00т. тг.

УДК
004.415.5(07)
ББК 32.973я73

Рубрики: Вычислительная техника

Кл.слова (ненормированные):
Информатика -- Спецификация программ -- Программирование
Экземпляры всего: 6
хр (1), ЧЗ2 (3), Ч/з (2)
Свободны: хр (1), ЧЗ2 (3), Ч/з (2)

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

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

Программирование в среде Трубо Паскаль 7.0./Марченко, Л.А.
С/С++:Программирование на языке высокого уровня/Павловская, Т.А.
Компьютерное окружение/Мансурова, М.Е.
Турбо Паскаль/Немнюгин, С.А.
Турбо Паскаль/Немнюгин, С.А.