Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-order Logic - Texts in Theoretical Computer Science: an Eatcs Series - Benedikt Bollig - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540329220 - July 24, 2006
In case cover and title do not match, the title is correct

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

Price
$ 54.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 9 - 15

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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

Media Books     Hardcover Book   (Book with hard spine and cover)
Released July 24, 2006
ISBN13 9783540329220
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 181
Dimensions 155 × 235 × 15 mm   ·   408 g
Language German  

Mere med samme udgiver

See all of Benedikt Bollig ( e.g. Hardcover Book and Paperback Book )