
この商品の詳細
- 出版社
- ナノオプト・メディア
- 出版社シリーズ
- CVS教程
- ISBN
- 9784764955059
- サイズ
- 単行本
- 発売年月日
- 2009年11月01日
この商品の紹介
初級プログラミングの経験者を対象に、モデル検査法の概要、必要となる論理(LTL)、作業手順をコンパクトに紹介する。ソフトウェア開発の現場にモデル検査を適用する際に参考となるような例題を中心に構成。
モデル検査 初級編/単行本
710
円(税込)