![](/statics/img/blank.png)
Maude Development Tools
軟體性質: 免費 檔案大小: N/A
使用者評分: 3.0/5 - 1 評分
請稍候,您的下載連結正在檢測惡意內容。
您將能夠在 5 秒內下載。
您將能夠在 5 秒內下載。
關於 Maude Development Tools
Maude 開發工具是一元件外掛程式,在 Eclipse 中嵌入了毛HTTP://maude.cs.uiuc.edu(或) 。它提供了一個核心外掛程式,它允許任何Java程式使用Maude,以及一組外掛程式,提供基於Eclipse的 IDE