Каблуков Иван Владимирович

Группа:

8112

Статус:

Бакалавр

Тема работы:

Контроль динамической семантики предикатной программы

Научный руководитель :

Рецензент:

Шкляев Д.А., вед. программист ИСИ СО РАН

Дата защиты:

6 июня 2012 года

ГАК:

2 - 1 подкомиссия

Оценка государственной аттестационной комиссии:

Отлично

Рекомендации:

Конкурс

Кафедра программирования