- 03 сент., вт
- 18:00-19:40 Технологии верификации и тестирования программного обеспеченияЛекциипоказать группыГруппы: 3740904/40301
- 20:00-21:40 Технологии верификации и тестирования программного обеспеченияПрактикапоказать группыГруппы: 3740904/40301
- 06 сент., пт
- 18:00-19:40 Верификация распределенных алгоритмов и системЛекциипоказать группыГруппы: 3740904/30301
- 20:00-21:40 Верификация распределенных алгоритмов и системПрактикапоказать группыГруппы: 3740904/30301