Формальная спецификация и верификация программ (ВМК МГУ имени М.В. Ломоносова)
четверг, 22 декабря 2011 г.
Проставление зачетов 26 декабря
для студентов кафедры АСВК - после 11:00 в аудитории 753.
для студентов кафедры СП - с 9:30 до 10:30 в аудитории 726.
для студентов кафедры АЯ - с 10:30 до 13:00 в МЗ-4 (с досдачей RSL для тех, кому это актуально).
Комментариев нет:
Отправить комментарий
Следующее
Предыдущее
Главная страница
Подписаться на:
Комментарии к сообщению (Atom)
Комментариев нет:
Отправить комментарий