Архив автора: Евгений Корныхин

Начался новый семестр

В весеннем семестре 2016/2017 учебного года занятия проходят с 14:35 до 17:55 в аудитории 505 каждый четверг.

Рубрика: Новости | Добавить комментарий

О начале курсов

В весеннем семестре 2015/2016 года на факультете ВМК МГУ имени М.В. Ломоносова начинается ежегодное чтение курсов по формальной спецификации программ и дедуктивной верификации программ для магистров 1 года.

Рубрика: Новости | Добавить комментарий