Programas por mpvs.sf.net

Ferramenta prática para ajudar os alunos a entender profundamente a metodologia de programação clássica baseada em especificações, invariantes de loop e decomposição em subproblems.