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