Мичуров Михаил Антонович
ВУЗ, факультет, кафедра:
НГУ, ФИТ, кафедра Параллельных вычислений
Тема:
Разработка статического анализатора LuNA-программ с использованием языка логического программирования Prolog
Курс:
5
6
Годы обучения:
2024
2023
2022
Ф.И.О. научного руководителя: