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

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

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

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

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

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

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