Проверен экспресс-вопрос №2 (предложенный на лекции 2 марта) и домашняя работа №2 (собиравшаяся на лекции 2 марта).
Формальные методы разработки программ
Магистратура факультета ВМК МГУ имени М.В. Ломонсоова
Проверен экспресс-вопрос №2 (предложенный на лекции 2 марта) и домашняя работа №2 (собиравшаяся на лекции 2 марта).