MPVS 1.1
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/mpvs/files/mpvs/1.1/MPVS.zip/download
关于 MPVS
实用工具,帮助学生深刻理解基于规范、循环不变量和分解为子问题的经典编程方法。
相关软件
-
Exam Reactor 免费试用
大家都知道,投资教育总是明智的。只有称职的员工才能使您的业务兴旺发达。考试反应器将为您提供客观可靠的知识评价!这是一个有用的程序,旨在创建和启动各种知识测试,以便您可以编写自定义测试的任何目的,包括测试孩子的知识,求职者的能力或参加考试前的预测试。
-
Buddhawajana 免费
该计划是为收集布达自己称为佛瓦贾纳的佛教教义而开发的,通过各种媒体呈现内容,由 Watna Pahpong 实施,由尊为阿贾恩·库克里特·索蒂帕洛担任桑加人头。 可尊的阿贾恩·库克里特将佛陀瓦贾纳从记忆中传染给其他追随者,将各章连在一起,在没有他的意见或评论的情况下,使用佛娃雅娜,达到理解,符合佛陀的原言。媒体包括33卷的佛瓦贾纳·皮塔卡书籍、布达瓦贾纳的子类小册子、视频和不同地方佛瓦贾纳教学的音频。
-
Andr Luiz Software 免费
Andr Luiz 软件 - 网站有很多很酷的开源程序。
-
aMindFeeder 免费
小 MAC 工具通过在粘贴的文本上显示固定标记来提高您的阅读速度。
-
zove 免费
利用独特的人工智能技术自动解决复杂的几何和物理问题。
-
Opencosmic 免费
开源中间件平台,任务关键型和近实时性,能够提供抽象层和开发可靠和实时分布式应用程序所需的服务。
-
Magoosh SAT Prep 免费试用
学习所有的数学,阅读和写作,你需要知道的大学董事会的SAT考试与Magoosh的视频课程应用程序。我们成千上万的学生提高了他们的分数,你也会提高。☞ 超过 160 个动画课程 (15 小时的视频和音频)☞ 涵盖所有三个部分(数学、阅读和写作)•#9758;跟踪您的学习进度☞ 观看 SAT 导师解决练习问题☞ 对 SAT 上每个概念的详细解释☞ 概述测试格式并推
-
UniquePrimer 免费
用于批量设计唯一 PCR 底项的简单 python 命令行脚本。底图使用 Primer3 进行设计,并针对自定义数据库(例如基因组)进行爆破。仅返回具有单个匹配的唯一底项。
-
CFugue MusicNote Library 免费
用于编程C++的 C/C++ API。隐藏了 MIDI 的复杂性,该库为音乐笔记提供高级编程。提供直接开始处理音乐笔记的功能,如 C、D、E 等。适用于西方和卡纳蒂克音乐。
-
iPhone Monome 免费
我的版本非常受欢迎的单体创建与MAX/MSP和应用程序雷莫肯为iPhone。