MPVS 1.1 许可: 免费 文件大小: N/A 用户评分: 4.0/5 - 1 评分 点击下载 实用工具,帮助学生深刻理解基于规范、循环不变量和分解为子问题的经典编程方法。 版本历史记录 版本 1.1 发布于 2007-09-07若干修复和更新 版本 1.1 发布于 2007-09-07 软件信息 软件分类: 教育 > 其他 发布者: mpvs.sf.net 许可: 免费 价格: N/A 版本: 1.1 适用平台: linux