8 февраля 2018 года начинается чтение курса. Занятия для 527 и 528 групп проходят с 14:35 до 17:55 в аудитории 510.
Формальные методы разработки программ
Магистратура факультета ВМК МГУ имени М.В. Ломонсоова
8 февраля 2018 года начинается чтение курса. Занятия для 527 и 528 групп проходят с 14:35 до 17:55 в аудитории 510.