![](/statics/img/blank.png)
VDMJ
ライセンス: 無料 ファイルサイズ: N/A
ユーザー評価: 4.0/5 - 1 投票
お待ちください。。。ダウンロードリンクが悪意のあるコンテンツの確認中です。
5秒でダウンロードできます。
5秒でダウンロードできます。
に関しては VDMJ
VDMJ は、Java で記述された VDM-SL、VDM++、および VDM-RT 仕様言語の基本的なツール・サポートを提供します。これには、パーサー、型チェッカー、インタプリタ、デバッガ、および証明義務ジェネレータが含まれます。これは、序曲日食プロジェクトで使用されます。