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

 

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

Оценок: 0

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

ББК 32.973

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

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

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

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

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

Похожие издания по классификации

Хакинг и фрикинг [Текст] /Дымов, В.С.
Электронная почта [Текст] /Дымов, В.С.
Язык программирования [Текст] /Дымов, В.С.
Intel. Новейшие информационные технологии [Текст] /Дьяконов, В.
Параллель есептеулер [Мәтін] /Дүйсенбиев, Е.Е.