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

Семинар по Coq

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