Экспресс, предложенный на лекции 16 марта, и контрольная работа №1 проверены. Домашняя работа, собиравшаяся на лекции 16 марта, будет проверена позже.
Формальные методы разработки программ
Магистратура факультета ВМК МГУ имени М.В. Ломонсоова
Экспресс, предложенный на лекции 16 марта, и контрольная работа №1 проверены. Домашняя работа, собиравшаяся на лекции 16 марта, будет проверена позже.