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