model-checking

model-checking@asvk.cs.msu.ru
  • 130 обсуждения
Model Checking Task 2
by model checking course mailing list 12 Мар '12

12 Мар '12
Копии заданий
by model checking course mailing list 12 Мар '12

12 Мар '12
Пересдача 14 июня
by model checking course mailing list 06 Июн '11

06 Июн '11
Fwd: Re: Консультация
by model checking course mailing list 30 Май '11

30 Май '11
Консультация
by model checking course mailing list 28 Май '11

28 Май '11

23 Май '11
Комиссия для АСВК
by model checking course mailing list 17 Май '11

17 Май '11
Досрочный экзамен
by model checking course mailing list 16 Май '11

16 Май '11
Итоги практикума
by model checking course mailing list 13 Май '11

13 Май '11
Предупреждён -- значит вооружён
by model checking course mailing list 11 Май '11

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