広告
- 追加された行はこの色 です。
- 削除された行はこの色 です。
- soft/mCRL2 へ行く。
*mCRL2 - - 並行システムのモデリングなどをする専用言語 [#zbba49f4] |メインページ|>| http://www.mcrl2.org/| |参考ページ1|>| http://| |参考ページ2|>| http://| |概要|>|並行システムのモデリングなどをする専用言語| |カテゴリ|>|&soft_rcate(category/);| |関連ソフト|>|&related2(soft/);| |検索|>|&ins_gsearch(mCRL2);| |ライセンス|フリー|&amazon_ad();| |Debianパッケージ|[[mcrl2:http://packages.debian.org/mcrl2]]|~| |Ubuntuパッケージ|[[検索:http://packages.ubuntu.com/search?keywords=mCRL2]],&soft_addpkg(Ubuntu);|~| |Ubuntuパッケージ|[[mcrl2:http://packages.ubuntu.com/mcrl2]]|~| |RPMパッケージ|[[検索:http://fr.rpmfind.net/linux/rpm2html/search.php?query=mCRL2]],&soft_addpkg(RPM);|~| |登録日|2010-03-12|~| ***説明 [#y8412189] 並行システムのモデリングなどをする専用言語 ---- ***コメント [#gd6d47a5] #comment(above)広告