Programas por mpvs.sf.net

Herramienta práctica para ayudar a los estudiantes a entender profundamente la metodología de programación clásica basada en especificaciones, invariantes de bucle y descomposición en subproblemas.