MPVS 1.1

License: Free ‎File size: N/A
‎Users Rating: 4.0/5 - ‎1 ‎votes

Practical tool to help students to deeply understand the classical programming methodology based on specifications, loop invariants, and decomposition into subproblems.

VERSION HISTORY

  • Version 1.1 posted on 2007-09-07
    Several fixes and updates
  • Version 1.1 posted on 2007-09-07

Program Details