model-checking

model-checking@asvk.cs.msu.ru
  • 130 обсуждения
День зачета
by model checking course mailing list 21 Май '12

21 Май '12
Последняя лекция
by model checking course mailing list 04 Май '12

04 Май '12
Информация о конкурсе по анализу данных
by model checking course mailing list 28 Апр '12

28 Апр '12
Model Checking Task 5
by model checking course mailing list 28 Апр '12

28 Апр '12
Итоги приема 2-го задания
by model checking course mailing list 24 Апр '12

24 Апр '12
Занятия 28 апреля
by model checking course mailing list 24 Апр '12

24 Апр '12
Поправка
by model checking course mailing list 09 Апр '12

09 Апр '12
Две новости
by model checking course mailing list 09 Апр '12

09 Апр '12
Итоги приёма первого задания
by model checking course mailing list 27 Мар '12

27 Мар '12
Итоги дедлайна по первому заданию
by model checking course mailing list 14 Мар '12

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