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
- Category: Education > Other
- Publisher: mpvs.sf.net
- License: Free
- Price: N/A
- Version: 1.1
- Platform: linux