Verification of Reactive Systems: Formal Methods and Algorithms - Texts in Theoretical Computer Science: an Eatcs Series - Klaus Schneider - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540002963 - 2003年10月16日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Klaus Schneider
Verification of Reactive Systems: Formal Methods and Algorithms - Texts in Theoretical Computer Science: an Eatcs Series 2004 edition

価格
¥ 8.560
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月5日 - 年10月15日
Klaus Schneider の新しいリリースのお知らせを受け取る

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

まだ評価がありません

Presents various important results on m-calculus, w-automata, and temporal logics, shows the relationships between these formalisms and describes verification procedures for them. This title discusses advantages and disadvantages of these formalisms, and shows up their strengths and weaknesses.

620 pages, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2003年10月16日
ISBN13 9783540002963
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 620
寸法 156 × 234 × 33 mm   ·   1,20 kg
言語 ドイツ語  

同じ出版社からのその他の記事

Klaus Schneiderのすべてを見る