|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++диссертация
- Научный руководитель: Белеванцев Андрей Андреевич
- Автор: Игнатьев Валерий Николаевич
- Дата защиты: 28 мая 2015 года
- Шифр диссертационного совета: Д 002.087.01
- Организация: ИСП РАН
- Область знаний: Физика и математика
- Специальность: 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей
- Тип диссертации: Кандидатская
- Добавил в систему: Корухова Людмила Сергеевна