软件名称：[B]三-A 1.4.1_Triple-A 1.4.1[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：3.03 MB
官方主页：Home Page
更新时间：2013-02-25 18:16:00
软件简介:

自动分析变得更加容易。

三A“或”自动“分析与自动机是一个全功能的Java基于有限自动机库有两个强大的分析工具（处理与LTL的模型检查和Presburger的算术）和围绕着它的图形用户界面设计。 “要求：

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

[url=http://www.sot9.com/soft/63774.html][B]三-A 1.4.1_Triple-A 1.4.1[/B][/url]

点这里下载->三-A 1.4.1_Triple-A 1.4.1 [ 下载地址 ]