- 24 февр., вт
- 14:00-15:40 Введение в синтез программПрактикапоказать группыГруппы: 5140904/50202
- 16:00-17:40 Введение в синтез программПрактикапоказать группыГруппы: 5140904/50201
- 18:00-19:40 Верификация распределенных алгоритмов и системДоп.сессия. Курсовая работапоказать группыГруппы: 5140904/50501
- 25 февр., ср
- 15:00-17:00 Верификация распределенных алгоритмов и системДоп. экзаменпоказать группыГруппы: 5140904/50501