Choice of metadata Books
Page 1, Results: 1
Report on unfulfilled requests: 0
1.
Подробнее
К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)
К78
Красовицкий, А. М.
Спецификация и верификация программ [Текст] : учеб.пособие / А. М. Красовицкий. - Алматы : "Print-S", 2004. - 85 с. - ISBN 9965-9343-8-Х : 235т. 00т. тг.
Рубрики: ТЕХНИКА
ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА
Кл.слова (ненормированные):
учебное пособие -- информатика -- программа -- спецификация -- верификация -- диаграмма -- Петри сети -- проектирование системы
Экземпляры всего: 7
5.3-№7 оқу залы (2), 5.2-№6 оқу залы (5)
Свободны: 5.3-№7 оқу залы (2), 5.2-№6 оқу залы (5)
Page 1, Results: 1