Holding List
Outline
|
SPINモデル検査
検証モデリング技法 Model checking with SPIN
近代科学社
2008/04
9784764903531
The cover image is from "Kinokuniya".
By clicking the image, the detailed page of the online store, Kinokuniya, is displayed. |
Status Information
Detail
| Jpn. or Foreign | 和書 |
|---|---|
| Title | SPINモデル検査 検証モデリング技法 Model checking with SPIN |
| Author | 中島震著 |
| Publisher | 近代科学社 |
| Pub. Date | 2008/04 |
| Price | 3,800 |
| Page | xiii, 238p 挿図 |
| Size | 24cm |
| ISBN | 9784764903531 |
| Notes | 参考文献: p225-231 |
| Subjects | ソフトウェア工学 ソフトウェア -- 品質管理 |
| Contents Note 1 | SPINモデル検査 : 検証モデリング技法 |
|---|
Holding List
Holding1 items
-
1Label
- Classification 1007.63
- Author No.N
- Copy No.
Registration No.0086604
Classification 1007.63Author No.Location Code02 ２FShelf Code21 情報科学 / 技術.工学