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

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

https://e-lib.dulaty.kz/lib/document/RETROTARGU/1C2C2C27-42E2-4855-B374-705B69CCA4D8/

32.973я7
К78
Красовицкий, А. М.
    Спецификация и верификация программ [Текст] : учеб.пособие / А. М. Красовицкий. - Алматы : Print S, 2004. - 86 с. - ISBN 996593438Х : б/ц. - Текст : непосредственный.
ББК 32.973я7

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

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

   ЭВМ И УСТРОЙСТВА

Кл.слова (ненормированные):
вычислительная техника -- компьютер -- спецификация -- верификация -- классификация стилей -- диаграммы -- программирование -- формальные методы -- язык спецификации -- учебное пособие
Экземпляры всего: 1
2.1-№2 Ч/З (1)
Свободны: 2.1-№2 Ч/З (1)

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