本を探す
Scrapbox
書籍追加
|
本棚情報変更
|
名前変更/本棚削除
|
ヘルプ
|
ランダム
reservoirの本棚
reservoirの本棚。 散逸してるので、実際に本棚になかったりするかも。
更新順
-
表紙
-
書名
|
評価順
-
表紙
-
書名
|
カテゴリ別
-
書名
|
データリスト
Model Checking
Edmund M. Clarke Jr.
Orna Grumberg
Doron Peled
The MIT Press
ISBN: 0262032708
紀伊國屋
,
Amazon
,
WebCat
カテゴリ
評 価
コメント
h.kakugawa :
状態遷移システムを時相論理で仕様を書き、検証するためのモデル検証に関する書籍。基礎概念、時相論理、検証アルゴリズムまで、フォーマルに話が進んで行く。モデル検証の基礎を理解するのに適した本。
他の本棚
h.kakugawa
,
toshiharu
,
prime_no_132nd
,
kuwa
最終
更新
: 2005-04-26 10:11:51 +0900
カテゴリ
評 価
コメント
更新順
-
表紙
-
書名
|
評価順
-
表紙
-
書名
|
カテゴリ別
-
書名
|
データリスト
