Поиск :
Личный кабинет :
Электронный каталог: Непомнящий, В. А. - Прикладные методы верификации программ
Непомнящий, В. А. - Прикладные методы верификации программ
Доступно
1 из 1
1 из 1
Книга
Автор: Непомнящий, В. А.
Прикладные методы верификации программ
Издательство: Радио и связь, 1988 г.
ISBN отсутствует
Автор: Непомнящий, В. А.
Прикладные методы верификации программ
Издательство: Радио и связь, 1988 г.
ISBN отсутствует
Заказать 
На полку
Книга
32.972 Н53
1698672 ОСН
Непомнящий, В. А.
Прикладные методы верификации программ / В. А. Непомнящий, О. М. Рякин; под редакцией А. П. Ершов. – Москва : Радио и связь, 1988. – 255, [1] c.
Библиогр.: с. 252-254 (60 назв.).
ББК 32.972
-- 1. Вычислительные машины электронные – Программы тестовые.
32.972 Н53
1698672 ОСН
Непомнящий, В. А.
Прикладные методы верификации программ / В. А. Непомнящий, О. М. Рякин; под редакцией А. П. Ершов. – Москва : Радио и связь, 1988. – 255, [1] c.
Библиогр.: с. 252-254 (60 назв.).
ББК 32.972
-- 1. Вычислительные машины электронные – Программы тестовые.