hondana.org
本を探す

 


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

Fms

Model Checking

Edmund M. Clarke Jr. Orna Grumberg Doron Peled
The MIT Press
ISBN: 0262032708  紀伊國屋, Amazon, WebCat
カテゴリ
評  価
コメント
h.kakugawa : 状態遷移システムを時相論理で仕様を書き、検証するためのモデル検証に関する書籍。基礎概念、時相論理、検証アルゴリズムまで、フォーマルに話が進んで行く。モデル検証の基礎を理解するのに適した本。
他の本棚 h.kakugawa, reservoir, toshiharu, kuwa

最終更新 : 2005-05-03 14:02:46 +0900
カテゴリ
評  価
コメント

Fms