Прикладные методы верификации программ [Текст] /Непомнящий, В.А.

 

QR-код құжаттың

Бағалар: 0

32.973
Н 53
Непомнящий, В. А.
    Прикладные методы верификации программ [Текст] / Под ред.А.П.Ершова. - М. : Радио и связь,, 1988. - 256 с. - ISBN 52560016 : 1р.10к. тг.

ББК 32.973

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

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

Кл.слова (ненормированные):
радио -- эвм -- программы -- прикладные программы -- верификация
Доп.точки доступа:
Рякин, О.М.

Экземпляры всего: 3
2.1-№2 оқу залы (3)
Свободны: 2.1-№2 оқу залы (3)

Авторизуйтесь для получения дополнительных услуг

Жіктеу бойынша ұқсас басылымдар

Документирование и управление конфигурацией программных средств [Текст] /Кайранов, М.Ж.
Как работать с Vicrosoft Office для Windows 95.Версия 7.0 [Текст]
Как программировать на XML [Текст]
Базы данных и экспертные оценки [Текст] /Кайранов, М.Ж.
ЦУ и МП системы [Электронная версия] [Текст] /Калабеков, К.