インターネットデパート
- 取扱い商品数1000万点以上の通販サイト。送料無料商品も多数あります。
モデル検査 初級編―基礎から実践まで4日で学べる (CVS教程)
価格: ¥2,940
カテゴリ:
単行本
ブランド:
ナノオプトメディア
Amazon.co.jpで確認
関連商品
抽象によるソフトウェア設計−Alloyではじめる形式手法−
形式手法入門―ロジックによるソフトウェア設計―
SPINモデル検査―検証モデリング技法
モデル検査 上級編―実践のための三つの技法 (CVS教程)
組み込みソフトへの数理的アプローチ: 形式手法によるソフトウェアの仕様記述と検証 (COMPUTER TECHNOLOGYシリーズ)