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

ファイル情報

ファイルサイズ
3,051 バイト
MD5
e3abca5a87126c2bec197c0180ebb5b9

プロジェクト概要

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