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

集成开发环境编写和检查TLA +规格

TLA +是一种规范语言，其目的是帮助在创建分布式和并行系统的高规格。

TLA工具箱的设计，以允许您使用TLC模型检查和TLAPS以及TLA +防爆系统来创建和验证TLA +的神器出山:www.shenqi73.comIDE。

[url=http://www.sot9.com/soft/101816.html][B]TLA工具箱1.4.5_TLA Toolbox 1.4.5[/B][/url]

点这里下载->TLA工具箱1.4.5_TLA Toolbox 1.4.5 [ 下载地址 ]