Надеин Павел Васильевич

Группа:

6111

Статус:

Специалист

Тема работы:

Редуцирующие преобразования и набор тестов системы минимизации компиляторных тестов Reduсe

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

Рецензент:

к.ф.-м.н. И.Н. Скопин, с.н.с. ИВМ и МГ СО РАН

Дата защиты:

8 июня 2011 года

ГАК:

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

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

Хорошо

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

Внедрение

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