model-checking Апрель 2012

model-checking@asvk.cs.msu.ru
  • 1 участники
  • 6 обсуждения
Информация о конкурсе по анализу данных
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
Результатов на странице: