О семинаре

План работы

Архив выступлений

Информация для студентов

Архив выступлений: 2005-2006 учебный год, весенний семестр

7 февраля 2006 года
А. С. Косачев, И. Б. Бурдонов (ИСП РАН).
«Проблемы соответствия программного обеспечения спецификациям».