お店のコメント(スペック情報を含む場合もあり)
内容説明 This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text presents all important results on m-calculus, w-automata, and temporal logics, shows the relationships between these formalisms and describes state-of-the-art verification procedures for them. It also discusses advantages and disadvantages of these formalisms, and shows up their strengths and weaknesses. Most results are given with detailed proofs, so that the presentation is almost self-contained. Includes all definitions without relying on other material Proves all theorems in detail Presents detailed algorithms in pseudo-code for verification as well as translations to other formalisms
商品ジャンル
商品名
最終調査日時
2013/07/13 (Sat) 18:35:55
価格の変動(直近3回 : ¥0は未調査回)
取得日時
販売価格
ポイント
実質価格
在庫状態
2013/07/13 (Sat) 18:35:55
¥11,576
0 %
¥11,576
2012/05/09 (Wed) 01:18:54
¥9,488
0 %
¥9,488
2011/12/15 (Thu) 06:53:43
¥8,811
0 %
¥8,811
サイト内キーワード検索
商品名の検索は通常の商品検索ボックスで。
コメントやスペックなどから検索したい場合はこちらから。
コメントやスペックなどから検索したい場合はこちらから。
広告