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

 

QR code of document

Ratings: 0

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

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

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

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

Please authorize to view