Поиск :
Личный кабинет :
Электронный каталог: Непомнящий, Валерий Александрович - Прикладные методы верификации программ
Непомнящий, Валерий Александрович - Прикладные методы верификации программ
Доступно
1 из 1
1 из 1
Книга
Автор: Непомнящий, Валерий Александрович
Прикладные методы верификации программ
Издательство: Радио и связь, 1988 г.
ISBN 5-256-00156-6
Автор: Непомнящий, Валерий Александрович
Прикладные методы верификации программ
Издательство: Радио и связь, 1988 г.
ISBN 5-256-00156-6
Заказать 
На полку
Книга
621.38 Н535
Непомнящий, Валерий Александрович.
Прикладные методы верификации программ / В. А. Непомнящий, О. М. Рякин ; Под ред. А. П. Ершова. – Москва : Радио и связь, 1988. – 255, 1 с. : ил. – Библиогр.: с. 252-254. – На рус. яз. – ISBN 5-256-00156-6 : 1.10.
ББК 32.973.22
техника = техника : вычислительная техника : программирование : языки и методы программирования : программирование на языках высокого уровня
00000000822003 МАТН 621.38 Н535
621.38 Н535
Непомнящий, Валерий Александрович.
Прикладные методы верификации программ / В. А. Непомнящий, О. М. Рякин ; Под ред. А. П. Ершова. – Москва : Радио и связь, 1988. – 255, 1 с. : ил. – Библиогр.: с. 252-254. – На рус. яз. – ISBN 5-256-00156-6 : 1.10.
ББК 32.973.22
техника = техника : вычислительная техника : программирование : языки и методы программирования : программирование на языках высокого уровня
00000000822003 МАТН 621.38 Н535