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

Семинар по Coq. Терминируемость алгоритма Евклида

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