Електронний каталог
Пошук
Відібрані
Формуляр
Опис документа
Сайт бібліотеки
Сайт ДТЕУ
Українська
Русский
English
Увійти
Шифр читача:
Пароль:
Увійти
Відмінити
ERROR
З.973
Н53
Непомнящий, В. А.
Прикладные методы верификации программ
[Текст] / В. А. Непомнящий, О. М. Рякин. – М. : Радио и связь, 1988. – 256с. – 1,10.
ISBN 5-256-00156-6
ББК З.973
Додати до списку
Примірники
Місце збереження
Кількість
В наявностi
Науковий фонд
1
1
Теми документа
Каталог книг/К/комп'ютеризація
Каталог книг/К/комп'ютери
Каталог книг/О/обчислювальна техніка
Статистика використання: Видач: 0
Додати коментар
Інформаційно-пошукова система
'УФД/Бібліотека'