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

Сильная и структурная индукция. Механизм видов и reflect-предикат

Пятница, 27 марта 2020
Онлайн, занятие в zoom