Поиск :
Личный кабинет :
Электронный каталог: Непомнящий, В. А. - Прикладные методы верификации программ
Непомнящий, В. А. - Прикладные методы верификации программ
Книга
Автор: Непомнящий, В. А.
Прикладные методы верификации программ
Издательство: Радио и связь, 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. Вычислительные машины электронные – Программы тестовые.
Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
---|---|---|---|---|---|
ОСН | Общий | 1 | 1 | 1 | Заказать |