Каталог / ТЕХНІЧНІ НАУКИ / Математичне та програмне забезпечення обчислювальних систем, комплексів та комп\'ютерних мереж
скачать файл:
- Назва:
- Игнатьев Валерий Николаевич. Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++
- ВНЗ:
- Федеральное государственное бюджетное учреждение науки Институт системного программирования Российской академии наук, http://ispras.ru/
- Короткий опис:
- Игнатьев Валерий Николаевич. Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++: диссертация ... кандидата физико-математических наук: 05.13.11 / Игнатьев Валерий Николаевич;[Место защиты: Федеральное государственное бюджетное учреждение науки Институт системного программирования Российской академии наук, http://ispras.ru/].- Москва, 2015.- 121 с.
- Стоимость доставки:
- 230.00 руб