Поиск :
Личный кабинет :
Электронный каталог: Непомнящий, В. А. - Прикладные методы верификации программ
Непомнящий, В. А. - Прикладные методы верификации программ
Доступно
1 из 1
1 из 1
Книга
Автор: Непомнящий, В. А.
Прикладные методы верификации программ
Издательство: Радио и связь, 1988 г.
ISBN 5-256-00156-6
Автор: Непомнящий, В. А.
Прикладные методы верификации программ
Издательство: Радио и связь, 1988 г.
ISBN 5-256-00156-6
Заказать 
На полку
Книга
004 Н535
Непомнящий, В. А.
Прикладные методы верификации программ / В. А. Непомнящий, О. М. Рякин; Под ред. А. П. Ершова. – М.: Радио и связь, 1988. – 256 с. – ISBN 5-256-00156-6.
004.4
общий = Информатика и вычислительная техника = computer science and technology : программное обеспечение (программные средства) = software [ 004.4 ]
187754 Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 004 Н535
004 Н535
Непомнящий, В. А.
Прикладные методы верификации программ / В. А. Непомнящий, О. М. Рякин; Под ред. А. П. Ершова. – М.: Радио и связь, 1988. – 256 с. – ISBN 5-256-00156-6.
004.4
общий = Информатика и вычислительная техника = computer science and technology : программное обеспечение (программные средства) = software [ 004.4 ]
187754 Библиотека НИУ ВШЭ Покровский б-р, контр. экз. : Pokrovsky blvd., Single copy Научный 004 Н535