15 Фев
2010
15 Фев
'10
15:07
Ещё раз акцентирую ваше внимание, что для получения задач нужно
НЕ подписаться на список рассылки через веб-интерфейс,
А отправить ФИО и номер группы на адрес model-checking@lvk.cs.msu.su.
Информация по курсу есть на странице http://savenkov.lvk.cs.msu.su/mc.html
С уважением, Константин Савенков.