7 февраля 2019 года начинается чтение курса. Занятия для 527 и 528 групп проходят каждый четверг с 13:35 до 17:00 в аудитории 510.
Формальные методы разработки программ
Магистратура факультета ВМК МГУ имени М.В. Ломонсоова
7 февраля 2019 года начинается чтение курса. Занятия для 527 и 528 групп проходят каждый четверг с 13:35 до 17:00 в аудитории 510.