В 2022 году Computer Science Center приостановил набор и обучение
Курсы
/
Семантика языков программирования
/
весна 2021
/

Введение в Coq (3/n)

Среда, 24 февраля 2021
Онлайн, занятие в zoom