model-checking Апрель 2013

model-checking@asvk.cs.msu.ru

1 участники
2 обсуждения

Создать нНовую ветку

Семинары 6 мая
by model checking course mailing list 29 Апр '13

29 Апр '13

Дорогие студенты, Не волнуйтесь, семинары 6 мая пройдут по расписанию. С уважением, Константин Савенков.

1 0

Отмена лекции 15.04
by model checking course mailing list 13 Апр '13

13 Апр '13

Дорогие студенты, Лекции в следующий понедельник, 15 апреля, не будет - я в командировке. Следующая лекция состоится 22 апреля. С уважением, Константин Савенков.

1 0