В 2022 году Computer Science Center приостановил набор и обучение
Курсы
/
Основы формальной верификации
/
весна 2020
/

Доказательства по индукции. Простые доказательства на SSReflect

Пятница, 13 марта 2020
Таймс, ауд. 410