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