Формальная спецификация и верификация программ (ВМК МГУ имени М.В. Ломоносова): Выдача дополнительных практических заданий завершена

span.fullpost {display:none;} span.fullpost {display:inline;}

понедельник, 21 ноября 2011 г.

Речь идет о заданиях по Dafny и PVS. Все, кто успел подать заявку на задание, но пока его не получили, получат задания в самый ближайший срок.