Електронний каталог

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


ISBN 5-256-00156-6ББК З.973

            



Примірники
Місце збереження Кількість В наявностi
Науковий фонд 1 1


Теми документа


Статистика використання: Видач: 0





Український Фондовий Дім Інформаційно-пошукова система
'УФД/Бібліотека'