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