12 Мар
2012
12 Мар
'12
11:51
Дорогие студенты,
Напоминаю, что после сдачи задания на семинаре нужно прислать его копию на model-checking@lvk.cs.msu.su (до дедлайна).
Второе задание по практикуму будет разослано сегодня вечером. Тогда же появятся в таблице результаты сдачи первого задания.
С уважением, Константин Савенков.