- 03 нояб., вт
- 10:00-11:40 Верификация распределенных алгоритмов и систем
- 12:00-13:40 Верификация распределенных алгоритмов и системЛекцииПотокпоказать группы
- 14:00-15:40 Верификация распределенных алгоритмов и системПрактикапоказать группыГруппы: 5140904/50101
- 16:00-17:40 Верификация распределенных алгоритмов и системПрактикапоказать группыГруппы: 5140904/50102