Maude MSOS ツールはモジュラー構造操作セマンティクス仕様の仕様のための正式な環境です。 プログラミング言語と同時実行システムの正式な仕様に特に役立ちます。
バージョン履歴
- バージョン N/A に転記 2011-08-12
いくつかの修正と更新 - バージョン N/A に転記 2011-08-12
プログラムの詳細
- カテゴリ: ネットワークとインターネット > 他
- パブリッシャー: maude-msos-tool.sf.net
- ライセンス: 無料
- 価格: N/A
- バージョン: Array
- プラットフォーム: windows