|
|
Model Checking
|
|
Edmund M. Clarke Jr.
Orna Grumberg
Doron Peled
The MIT Press
ISBN: 0262032708
紀伊國屋,
Amazon,
WebCat
|
| カテゴリ |
|
| 評 価 |
|
| コメント |
|
h.kakugawa :
|
状態遷移システムを時相論理で仕様を書き、検証するためのモデル検証に関する書籍。基礎概念、時相論理、検証アルゴリズムまで、フォーマルに話が進んで行く。モデル検証の基礎を理解するのに適した本。
|
|
| 他の本棚 |
reservoir, toshiharu, prime_no_132nd, kuwa
|
最終更新 : 2005-03-30 11:37:04 +0900
|
| カテゴリ |
|
| 評 価 |
|
| コメント |
|
|
|
 大崎公園
披露山公園
源氏山公園
しおさい公園
城ヶ島公園
 真鶴
逗子
熱海
下田
伊東
|
