MPVS 1.1

许可: 免费 ‎文件大小: N/A
‎用户评分: 4.0/5 - ‎1 ‎评分

实用工具,帮助学生深刻理解基于规范、循环不变量和分解为子问题的经典编程方法。

版本历史记录

  • 版本 1.1 发布于 2007-09-07
    若干修复和更新
  • 版本 1.1 发布于 2007-09-07

软件信息