- Шошмина Ирина Владимировна
Расписание с 01 сентября по 07 сентября (нечётная неделя)
02 сент., вт
03 сент., ср
08:00-09:40 Математическая логика
14:00-15:40 Верификация распределенных алгоритмов и систем
16:00-17:40 Верификация распределенных алгоритмов и систем