Защита диссертации - Игнатьев Валерий Николаевич

Новости

07 Декабря, 2024 Прощание с академиком Е.П. Велиховым

06 Декабря, 2024 Опрос Министерства науки и высшего образования Российской Федерации

24 Сентября, 2024 Приглашаем принять участие в Открытой конференции ИСП РАН

Игнатьев Валерий Николаевич

Статический анализ программ для проверки настраиваемых ограничений языков программирования C и C++

Диссертация защищена

Искомая степень: Кандидат физико-математических наук.

Специальность: 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

Дата размещения: 2015-03-05.
Текст диссертации удален по истечении 7 месяцев со дня защиты (п.26 Потановления Правительства РФ №842 от 24.09.842)
Автореферат: Скачать
Отзыв научного руководителя: Скачать
Дата защиты: 2015-05-28.