ac.soton.eventb.roseEditor.source_1.7.0.release.jar (ac.soton.eventb.roseEditor.source_1.7.0.release.jar( 外部リンク: SF.net): 66,037 バイト)のダウンロードが開始されます。開始されない場合,左のリンクをクリックしてください。

ファイル情報

ファイルサイズ
66,037 バイト
MD5
a4e7cd508aaad596b3334d307f14b6fc

プロジェクト概要

ディペン ダブルな複雑なソフトウェア システム サービスの費用対効果の厳密な開発のためのオープン ツール プラットフォームです。このプラットフォーム イベント B の正式な方法に基づいています洗練と数学的な証明のための天然サポートを提供しています。