- 5 Ergebnisse
Kleinster Preis: € 18,99, größter Preis: € 52,19, Mittelwert: € 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
Bestellen
bei booklooker.de
€ 49,90
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter 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 - gebunden oder broschiert

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… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
zuklappen (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
Bestellen
bei booklooker.de
€ 49,90
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter 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 - gebunden oder broschiert

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… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
zuklappen (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
Bestellen
bei booklooker.de
€ 52,19
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter 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 - gebunden oder broschiert

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… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
zuklappen (X)
4
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - Bollig, Benedikt,
Bestellen
bei ZVAB.com
€ 18,99
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Bollig, Benedikt,:
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - gebunden oder broschiert

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… Mehr…

Versandkosten: EUR 3.00 Antiquariat Bookfarm, Löbnitz, Germany [54905055] [Rating: 5 (von 5)]
zuklappen (X)
5
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - Bollig, Benedikt,
Bestellen
bei Achtung-Buecher.de
€ 24,60
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Bollig, Benedikt,:
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - gebunden oder broschiert

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… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Antiquariat Bookfarm Sebastian Seckfort, 04509 Löbnitz
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)
Autor:
Titel:
ISBN-Nummer:

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.

Detailangaben zum Buch - 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
Gebundene Ausgabe
Erscheinungsjahr: 2006
Herausgeber: Springer
182 Seiten
Gewicht: 0,415 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-06-04T15:31:43+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-02-27T13:26:53+01:00 (Vienna)
ISBN/EAN: 9783540329220

ISBN - alternative Schreibweisen:
3-540-32922-6, 978-3-540-32922-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: automata, bollig, boll, böll, benedikt well
Titel des Buches: logic for computer science, theoretical computer science, formal models communicating systems, automata, formal languages

Daten vom Verlag:

Autor/in: Benedikt Bollig
Titel: Formal Models of Communicating Systems - Languages, Automata, and Monadic Second-Order Logic
Verlag: Springer; Springer Berlin
181 Seiten
Erscheinungsjahr: 2006-07-24
Berlin; Heidelberg; DE
Sprache: Englisch
54,99 € (DE)

BB; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; Asynchronous cellular automata; Communicating systems; Finite automata; Finite-state machines; Formal methods; Graphs; Logic; Mazurkiewicz traces; Message sequence charts; Software engineering; automata; automata theory; distributed systems; modeling; algorithm analysis and problem complexity; Theory of Computation; Software Engineering; Algorithms; Formal Languages and Automata Theory; Computer Communication Networks; Software Engineering; Algorithmen und Datenstrukturen; Netzwerk-Hardware; BC

Preliminaries.- Graphs, Logics, and Graph Acceptors.- Words and Finite Automata.- Dags and Asynchronous Cellular Automata.- Mazurkiewicz Traces and Asynchronous Automata.- Message Sequence Charts.- Communicating Finite-State Machines.- Beyond Implementability.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783642069475 Formal Models of Communicating Systems (Benedikt Bollig)

< zum Archiv...