Каталог / ТЕХНИЧЕСКИЕ НАУКИ / Математическое и программное обеспечение вычислительных систем, комплексов и компьютерных сетей
скачать файл: 
- Название:
- Каширин, Игорь Юрьевич. Методы формального анализа инструментальных систем программного обеспечения ЭВМ на основе теории унификации
- ВУЗ:
- НИЦ интеллектуальной собственности Рязанской радиотехн. акад.
- Краткое описание:
- Каширин, Игорь Юрьевич. Методы формального анализа инструментальных систем программного обеспечения ЭВМ на основе теории унификации : автореферат дис. ... доктора технических наук : 05.13.11 / НИЦ интеллектуальной собственности Рязанской радиотехн. акад..- Москва, 1997.- 39 с.: ил. РГБ ОД, 9 98-8/2434-4
- Стоимость доставки:
- 230.00 руб