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

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

http://e-lib.dulaty.kz/en/lib/document/TARGU/2DD8EC59-CBA5-421A-AD60-23EE42DA9EBB/

32.97я7
К78
Красовицкий, А. М.
    Спецификация и верификация программ [Текст] : учеб.пособие / А. М. Красовицкий. - Алматы : "Print-S", 2004. - 85 с. - ISBN 9965-9343-8-Х : 235т. 00т. тг.

ББК 32.97я7

Рубрики: ТЕХНИКА

   ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА

Кл.слова (ненормированные):
учебное пособие -- информатика -- программа -- спецификация -- верификация -- диаграмма -- Петри сети -- проектирование системы
Экземпляры всего: 7
5.3-№7 оқу залы (2), 5.2-№6 оқу залы (5)
Свободны: 5.3-№7 оқу залы (2), 5.2-№6 оқу залы (5)

QR code of document