model-checking

model-checking@asvk.cs.msu.ru
  • 130 обсуждения
Результаты проверки решений практикума
by model checking course mailing list 08 Апр '10

08 Апр '10
Второй комментарий к 4 заданию
by model checking course mailing list 07 Апр '10

07 Апр '10
Комментарий к 4-му заданию
by model checking course mailing list 05 Апр '10

05 Апр '10
Замечания по третьему заданию
by model checking course mailing list 26 Мар '10

26 Мар '10
Анонимные работы
by model checking course mailing list 25 Мар '10

25 Мар '10
Сроки сдачи 2-го задания
by model checking course mailing list 17 Мар '10

17 Мар '10
Разбирая почту
by model checking course mailing list 16 Мар '10

16 Мар '10
Ещё по поводу плагиата
by model checking course mailing list 03 Мар '10

03 Мар '10
Комментарий ко второму заданию
by model checking course mailing list 03 Мар '10

03 Мар '10
Результаты проверки на плагиат
by model checking course mailing list 02 Мар '10

02 Мар '10
Результатов на странице: