Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-order Logic - Texts in Theoretical Computer Science: an Eatcs Series - Benedikt Bollig - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540329220 - 2006年7月24日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Benedikt Bollig
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-order Logic - Texts in Theoretical Computer Science: an Eatcs Series

価格
¥ 8.492
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月7日 - 年12月17日
クリスマスプレゼントは1月31日まで返品可能です
Benedikt Bollig の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

Studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. This book provides a unifying theory of communicating automata and their logical properties.

181 pages, 6 black & white tables, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2006年7月24日
ISBN13 9783540329220
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 181
寸法 155 × 235 × 15 mm   ·   408 g
言語 ドイツ語  

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

Benedikt Bolligのすべてを見る