SPINモデル検査
検証モデリング技法 Model checking with SPIN
近代科学社
2008/04
9784764903531
|
Jpn. or Foreign | 和書 |
---|---|
Title | SPINモデル検査 検証モデリング技法 Model checking with SPIN |
Author | 中島震著 |
Classification 1 | 007.63 |
Author No. | N |
Publisher | 近代科学社 |
Pub. Date | 2008/04 |
Price | 3,800 |
Page | xiii, 238p 挿図 |
Size | 24cm |
ISBN | 9784764903531 |
Location Code | 02 2F |
Shelf Code | 21 情報科学 / 技術.工学 |
Notes | 参考文献: p225-231 |
Subjects | ソフトウェア工学 ソフトウェア -- 品質管理 |
Contents Note 1 | SPINモデル検査 : 検証モデリング技法 |
---|