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

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

http://e-lib.dulaty.kz/lib/document/RETROTARGU/EF70066A-ADBA-4BCC-A993-AF76BB55CD86/

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

УДК	981.3(075)

ББК 32.87я7

Рубрики: ТЕХНИКА. ТЕХНИЧЕСКИЕ НАУКИ

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

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

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