13 Июн
2012
13 Июн
'12
8:34
с 9:00 до 11:00.
Проставление оценок и апелляция для сдававших 10, 11 и 13 июня пройдет 15 июня в ауд.761.
С уважением, Константин Савенков.
model-checking mailing list model-checking@lvk.cs.msu.su https://lists.lvk.cs.msu.su/cgi-bin/mailman/listinfo/model-checking