Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-order Logic - Benedikt Bollig - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783642069475 - 14. oktobra 2010
Če se naslovnica in naslov ne ujemata, je naslov pravilen

Benedikt Bollig
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-order Logic 1st Ed. Softcover of Orig. Ed. 2006 edition

Cena
€ 50,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 2. - 10. dec
Božična darila lahko vrnete do 31. januarja
Prejemajte obvestila o novih izdajah izvajalca Benedikt Bollig

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. It provides a unifying theory of communicating automata and their logical properties. Based on Hanf's Theorem and Thomas's graph acceptors, it develops a result that allows characterization of many popular models of distributed computation in terms of the existential fragment of monadic second-order logic.

181 pages, 6 black & white tables, biography

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 14. oktobra 2010
ISBN13 9783642069475
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 181
Dimenzije 156 × 234 × 10 mm   ·   276 g
Jezik Angleščina  

Več od te serije

Več od istega **izdajatelja**

Ogled vseh Benedikt Bollig