TLA® Eclipse IDE 插件。集成正式定义语言"操作的临时逻辑",用于在 Eclipse IDE 中指定系统
版本历史记录
- 版本 2.1.0 发布于 2005-08-22
若干修复和更新 - 版本 2.1.0 发布于 2005-08-22
软件信息
- 软件分类: 发展 > 其他
- 发布者: www.techjava.de/projects/etla-plugin/
- 许可: 免费
- 价格: N/A
- 版本: 2.1.0
- 适用平台: windows
TLA® Eclipse IDE 插件。集成正式定义语言"操作的临时逻辑",用于在 Eclipse IDE 中指定系统