※一部利用できない機能があります
SPINモデル検査 : 検証モデリング技法 = Model checking with SPIN
- フォーマット:
- 図書
- 責任表示:
- 中島震著
- 言語:
- 日本語
- 出版情報:
- 東京 : 近代科学社, 2008.4
- 形態:
- xiii, 238p ; 24cm
- 著者名:
- 中島, 震(1955-) <DA13681738>
- 書誌ID:
- BA85720861
- ISBN:
- 9784764903531 [4764903539]
類似資料:
近代科学社 |
共立出版 |
近代科学社 |
コロナ社 |
近代科学社 |
丸善出版 |
オーム社 |
朝倉書店 |
近代科学社 |
オーム社 |
近代科学社 |
丸善 |