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 中指定系統