罗丹2.7_RODIN 2.7下载地址

点这里下载 → 下载地址
相关Tags:

罗丹2.7_RODIN 2.7软件简介

一个有用的开发平台

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

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

要求:

·神器出山:www.shenqi73.comJava

随便看看

软件简略信息
  • 软件大小:64.8 MB
  • 下载次数:99
  • 更新时间:2013-03-09 12:27:00
  • 不能下载请报告错误,谢谢
本类热门软件