- Шошмина Ирина Владимировна
Расписание с 14 сентября по 20 сентября (нечётная неделя)
14 сент., пн
15 сент., вт
10:00-11:40 Верификация распределенных алгоритмов и систем
12:00-13:40 Верификация распределенных алгоритмов и систем
14:00-15:40 Верификация распределенных алгоритмов и систем
16:00-17:40 Верификация распределенных алгоритмов и систем
18:00-19:00 Современные методы синтеза программ
Доп.сессия. Зачет с оценкой
18:00-19:00 Современные методы синтеза программ
Доп.сессия. Зачет с оценкой
18:00-19:00 Введение в синтез программ
Доп.сессия. Зачет с оценкой
16 сент., ср
10:00-11:40 Верификация распределенных алгоритмов и систем
14:00-15:40 Верификация распределенных алгоритмов и систем
16:00-17:40 Верификация распределенных алгоритмов и систем
