Программы mpvs.sf.net

Практический инструмент, который поможет студентам глубоко понять классическую методологию программирования, основанную на спецификациях, инквариантах цикла и разложении на субпроблемы.