古本・中古本
送料無料
組み込みソフトへの数理的アプローチ 形式手法によるソフトウェアの仕様記述と検証/単行本
プレミアム会員とは
この商品の詳細
- 出版社
- CQ出版
- 出版社シリーズ
- COMPUTER TECHNOLOGY
- ISBN
- 4789838085
- サイズ
- 単行本
- 発売年月日
- 2012年04月01日
この商品の紹介
数学を基礎とし、プログラムの正しさを証明していこうという考え方「形式手法」。形式仕様記述や形式検証について、LTSA、Alloy、CBMC等のツールを使って解説。『Interface』連載をまとめて単行本化。
組み込みソフトへの数理的アプローチ 形式手法によるソフトウェアの仕様記述と検証/単行本
今お申し込みで100円買取中!
この商品の買取価格を調べる
買取金額50%UP
+お買物クーポン500円分プレゼント!
組み込みソフトへの数理的アプローチ 形式手法によるソフトウェアの仕様記述と検証/単行本
今お申し込みで
100円買取中!
買取金額50%UP
+お買物クーポン500円分
プレゼント!
組み込みソフトへの数理的アプローチ 形式手法によるソフトウェアの仕様記述と検証/単行本
2,200
円(税込)