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

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

http://library.qyzpu.edu.kz/en/lib/document/EK/B041960C-7DDC-4026-A025-D3110E3107C2/

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

УДК	004.415.5(07)

ББК 32.973я73

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

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

QR code document