27 Фев
2011
27 Фев
'11
14:57
Дорогие студенты,
Напоминаю, что копии сданных на семинаре заданий необходимо прислать на адрес model-checking@lvk.cs.msu.su.
С уважением, Константин Савенков.