Формальная спецификация и верификация программ (ВМК МГУ имени М.В. Ломоносова)
вторник, 18 октября 2011 г.
Информация об экзамене и зачете
На странице курса появилась информация о том, как будет проводиться зачет, как будет проводиться экзамен, какая система получения оценки по курсу, какие в курсе есть практические задания:
http://sp.cmc.msu.ru/courses/fmsp/fsvp2011.pdf
.
Следующие
Главная страница
Подписаться на:
Сообщения (Atom)