model-checking

model-checking@asvk.cs.msu.ru
  • 130 обсуждения
Обработка присланных решений задания 1
by model checking course mailing list 02 Мар '10

02 Мар '10
Model Checking Task 2
by model checking course mailing list 01 Мар '10

01 Мар '10
Сроки сдачи первого задания
by model checking course mailing list 28 Фев '10

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

26 Фев '10
Комментарий к 1 заданию
by model checking course mailing list 16 Фев '10

16 Фев '10
По контрольной
by model checking course mailing list 15 Фев '10

15 Фев '10
Подписка на задачи
by model checking course mailing list 15 Фев '10

15 Фев '10
Список рассылки
by model checking course mailing list 12 Фев '10

12 Фев '10
Корректировка времени консультации
by model checking course mailing list 20 Май '09

20 Май '09
Консультация и экзамен
by model checking course mailing list 18 Май '09

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