Дорогие студенты,
К сожалению, я не смогу проставить оценки сегодня в 13:00. Также, возможно, сегодня будут проверены не все работы.
Работы сдающих сегодня будут проверены ориентировочно к вечеру 14 июня.
Проставление оценок и апелляция для сдававших 10, 11 и 13 июня пройдет 15 июня в ауд.761.
С уважением, Константин Савенков.
с 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