hondana.org
本を探す

 

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

Fms

Logic in Computer Science: Modelling and Reasoning about Systems
Michael Huth Mark Ryan
Cambridge University Press
ISBN: 0521656028　 紀伊國屋, Amazon, WebCat
カテゴリ
評　　価
コメント
h.kakugawa : 命題論理、述語論理、時様論理、様相論理の基礎を丁寧に解説。モデル検査のアルゴリズムやＢＤＤも説明されている。形式手法の基礎を学ぶのに良い。丁寧に書かれているので、独習可能。
他の本棚
最終更新 : 2005-03-30 11:48:43 +0900
カテゴリ
評　　価
コメント
Fms