ФИО выпускника | Меньщиков Максим Александрович |
---|---|
Направление подготовки (специальность) | 02.04.02 Фундаментальная информатика и информационные технологии |
Квалификация | Магистр |
Наименование ВКР | Гибридная система статического анализа с доказательной проверкой инвариантов |
Статус | Нет согласия на публикацию |
ФИО научного руководителя | кандидат физико-математических наук М.В.Коровкин |
Год | 2018 |