 | キーホアキーツールにHoare Calculusを作成できます。 |
| 今すぐダウンロード | |
キーホア ランキングとまとめ
広告
- ライセンス:
- GPL
- 価格:
- FREE
- 出版社名:
- The KeY Project
- 出版社のWebサイト:
- http://www.key-project.org
- オペレーティングシステム:
- Mac OS X
- ファイルサイズ:
- 1 KB
キーホア タグ
キーホア 説明
キーツールでHoare Calculusを作成できます Key-Hoareは、キーの上にある無料で使いやすいソフトウェアで、更新のあるホアレコンピュータを備えています。 Key-Hoareは、Chalmersの学部課程コースプログラム検証に使用され、Hoareの計算を教えています。
キーホア 関連ソフトウェア
