SPINモデル検査
検証モデリング技法 Model checking with SPIN
近代科学社
2008/04
9784764903531
|
和洋区分 | 和書 |
---|---|
書名,巻次,叢書名 | SPINモデル検査 検証モデリング技法 Model checking with SPIN |
著者名 | 中島震著 |
分類記号1 | 007.63 |
著者記号 | N |
出 版 者 | 近代科学社 |
出版年月日 | 2008/04 |
定価 | 3,800 |
ペ ー ジ | xiii, 238p 挿図 |
サ イ ズ | 24cm |
ISBN1 | 9784764903531 |
保管場所コード | 02 2F |
配架場所コード | 21 情報科学 / 技術.工学 |
注記 | 参考文献: p225-231 |
件名 | ソフトウェア工学 ソフトウェア -- 品質管理 |
内容細目1 | SPINモデル検査 : 検証モデリング技法 |
---|