span.fullpost {display:none;}
span.fullpost {display:inline;}
Формальная спецификация и верификация программ (ВМК МГУ имени М.В. Ломоносова)
четверг, 10 ноября 2011 г.
Окончание выдачи доп.практических заданий
20 ноября прекращается выдача дополнительных практических заданий (по Dafny и PVS).
Комментариев нет:
Отправить комментарий
Следующее
Предыдущее
Главная страница
Подписаться на:
Комментарии к сообщению (Atom)
Комментариев нет:
Отправить комментарий