インターネットデパート
- 取扱い商品数1000万点以上の通販サイト。送料無料商品も多数あります。
SPINによる設計モデル検証―モデル検査の実践ソフトウェア検証 (トップエスイー実践講座)
価格: ¥3,780
カテゴリ:
単行本
ブランド:
近代科学社
Amazon.co.jpで確認
関連商品
抽象によるソフトウェア設計−Alloyではじめる形式手法−
型システム入門 −プログラミング言語と型の理論−
Bメソッドによる形式仕様記述―ソフトウェアシステムのモデル化とその検証 (トップエスイー実践講座)
ソフトウェア科学基礎―最先端のソフトウェア開発に求められる数理的基礎 (トップエスイー基礎講座)
VDM++による形式仕様記述 (トップエスイーシリーズ 実践講座)