hondana.org
本を探す

 


Scrapbox
書籍追加 | 本棚情報変更 | 名前変更/本棚削除 | ヘルプ | ランダム

Fms

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
カテゴリ
評  価
コメント

Fms