Programas por mpvs.sf.net

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