На занятии 28 апреля будет проведена контрольная работа по блоку спецификации.
Формальные методы разработки программ
Магистратура факультета ВМК МГУ имени М.В. Ломонсоова
На занятии 28 апреля будет проведена контрольная работа по блоку спецификации.