软件名称：[B]微软F * 0.6阿尔法_Microsoft F* 0.6 Alpha[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：33.6 MB
官方主页：Home Page
更新时间：2013-03-09 12:27:00
软件简介:

一个验证编译器ML程序

微软F *是一个方便和可靠的实用程序设计-ML相关的改进，更高的种类和仿射类型的类型系统的基础上扩展核心。

它允许通过验证的高阶状态的方案与自动化SMT求解。

[url=http://www.sot9.com/soft/111431.html][B]微软F * 0.6阿尔法_Microsoft F* 0.6 Alpha[/B][/url]

点这里下载->微软F * 0.6阿尔法_Microsoft F* 0.6 Alpha [ 下载地址 ]