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

Лекция 12. TLA+: верификация конкурентных и распределенных программ

Среда, 02 декабря 2020
Онлайн, занятие в zoom