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

ファイル情報

ファイルサイズ
124,312 バイト
MD5
230e9adf3823e8c078dc6fcdb748f56c

プロジェクト概要

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