ペンギンの杜

• 追加された行はこの色 です。
• 削除された行はこの色 です。
• soft/Maude へ行く。

*Maude - - 高性能論理フレームワーク [#gd505336]

|メインページ|>| http://maude.cs.uiuc.edu/|

|参考ページ1|>| http://|

|参考ページ2|>| http://|

|概要|>|高性能論理フレームワーク|

|カテゴリ|>|&soft_rcate(category/);|

|関連ソフト|>|&related2(soft/);|

|検索|>|&ins_gsearch(Maude);|

|ライセンス|フリー|&amazon_ad();|

|Debianパッケージ|[[maude:http://packages.debian.org/maude]]|~|

|Ubuntuパッケージ|[[検索:http://packages.ubuntu.com/search?keywords=Maude]],&soft_addpkg(Ubuntu);|~|

|RPMパッケージ|[[検索:http://fr.rpmfind.net/linux/rpm2html/search.php?query=Maude]],&soft_addpkg(RPM);|~|

|登録日|2011-04-10|~|


***説明 [#z17903ce]

高性能論理フレームワーク



----

***コメント [#ld49b139]

#comment(above)