- 5 Results
Lowest price: € 18.99, highest price: € 52.19, average price: € 39.12
1
Formal Models of Communicating Systems | Languages, Automata, and Monadic Second-Order Logic | Benedikt Bollig | Buch | HC runder Rücken kaschiert | IX | Englisch | 2006 | Springer-Verlag GmbH - Bollig, Benedikt
Order
at booklooker.de
€ 49.90
Shipment: € 0.001
Order
Provider details
Sponsored link
Bollig, Benedikt:

Formal Models of Communicating Systems | Languages, Automata, and Monadic Second-Order Logic | Benedikt Bollig | Buch | HC runder Rücken kaschiert | IX | Englisch | 2006 | Springer-Verlag GmbH - hardcover

2006, ISBN: 9783540329220

[ED: Gebunden], [PU: Springer-Verlag GmbH], This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurren… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
close (x)
2
Formal Models of Communicating Systems | Languages, Automata, and Monadic Second-Order Logic | Benedikt Bollig | Buch | HC runder Rücken kaschiert | IX | Englisch | 2006 | Springer-Verlag GmbH - Bollig, Benedikt
Order
at booklooker.de
€ 49.90
Shipment: € 0.001
Order
Provider details
Sponsored link

Bollig, Benedikt:

Formal Models of Communicating Systems | Languages, Automata, and Monadic Second-Order Logic | Benedikt Bollig | Buch | HC runder Rücken kaschiert | IX | Englisch | 2006 | Springer-Verlag GmbH - hardcover

2006, ISBN: 9783540329220

[ED: Gebunden], [PU: Springer-Verlag GmbH], This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurren… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
close (x)
3
Formal Models of Communicating Systems / Languages, Automata, and Monadic Second-Order Logic / Benedikt Bollig / Buch / HC runder Rücken kaschiert / IX / Englisch / 2006 / Springer-Verlag GmbH - Bollig, Benedikt
Order
at booklooker.de
€ 52.19
Shipment: € 0.001
Order
Provider details
Sponsored link
Bollig, Benedikt:
Formal Models of Communicating Systems / Languages, Automata, and Monadic Second-Order Logic / Benedikt Bollig / Buch / HC runder Rücken kaschiert / IX / Englisch / 2006 / Springer-Verlag GmbH - hardcover

2006

ISBN: 9783540329220

[ED: Gebunden], [PU: Springer-Verlag GmbH], This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurren… More...

Shipping costs:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
close (x)
4
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - Bollig, Benedikt,
Order
at ZVAB.com
€ 18.99
Shipment: € 3.001
Order
Provider details
Sponsored link
Bollig, Benedikt,:
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - hardcover

2006, ISBN: 3540329226

[EAN: 9783540329220], [SC: 3.0], [PU: Berlin: Springer], FINITE-STATE MACHINES,MAZURKIEWICZ TRACES,LOGIC,MESSAGE SEQUENCE CHARTS,DISTRIBUTED SYSTEMS,AUTOMATA,MODELING,FINITE AUTOMATA,FORM… More...

Shipping costs: EUR 3.00 Antiquariat Bookfarm, Löbnitz, Germany [54905055] [Rating: 5 (von 5)]
close (x)
5
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - Bollig, Benedikt,
Order
at Achtung-Buecher.de
€ 24.60
Shipment: € 0.001
Order
Provider details
Sponsored link
Bollig, Benedikt,:
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - hardcover

2006, ISBN: 3540329226

Hardcover 181 p. Gebundene Ausgabe Ehemaliges Bibliotheksexemplar mit Signatur und Stempel. Leichte Gebrauchsspuren, guter Zustand. Former library book in very good condition. 9783540329… More...

Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Antiquariat Bookfarm Sebastian Seckfort, 04509 Löbnitz
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)
Author:
Title:
ISBN:

9783540329220


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.

Details of the book - Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)


EAN (ISBN-13): 9783540329220
ISBN (ISBN-10): 3540329226
Hardcover
Publishing year: 2006
Publisher: Springer
182 Pages
Weight: 0,415 kg
Language: eng/Englisch

Book in our database since 2007-06-04T14:31:43+01:00 (London)
Detail page last modified on 2024-02-27T12:26:53+00:00 (London)
ISBN/EAN: 9783540329220

ISBN - alternate spelling:
3-540-32922-6, 978-3-540-32922-0
Alternate spelling and related search-keywords:
Book author: automata, bollig, boll, böll, benedikt well
Book title: logic for computer science, theoretical computer science, formal models communicating systems, automata, formal languages

More/other books that might be very similar to this book

Latest similar book:
9783642069475 Formal Models of Communicating Systems (Benedikt Bollig)

< to archive...