eTLA 2.1.0

许可: 免费 ‎文件大小: N/A
‎用户评分: 5.0/5 - ‎1 ‎评分

TLA® Eclipse IDE 插件。集成正式定义语言"操作的临时逻辑",用于在 Eclipse IDE 中指定系统

版本历史记录

  • 版本 2.1.0 发布于 2005-08-22
    若干修复和更新
  • 版本 2.1.0 发布于 2005-08-22

软件信息