软件名称：[B]罗丹2.7_RODIN 2.7[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：64.8 MB
官方主页：Home Page
更新时间：2013-03-09 12:27:00
软件简介:

一个有用的开发平台

RODIN是一个方便的平台，旨在帮助您与严格的开发具有成本效益的可靠的复杂的软件系统服务。

该平台基于事件-B形式化方法，并提供了天然的支持细化和数学证明。

要求：

·的神器出山:www.shenqi73.comJava

[url=http://www.sot9.com/soft/101265.html][B]罗丹2.7_RODIN 2.7[/B][/url]

点这里下载->罗丹2.7_RODIN 2.7 [ 下载地址 ]