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