- 5 Ergebnisse
Kleinster Preis: € 49,90, größter Preis: € 85,63, Mittelwert: € 58,60
1
Formal Models of Communicating Systems | Languages, Automata, and Monadic Second-Order Logic | Benedikt Bollig | Taschenbuch | Paperback | IX | Englisch | 2010 | 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 | Taschenbuch | Paperback | IX | Englisch | 2010 | Springer-Verlag GmbH - Taschenbuch

2010, ISBN: 9783642069475

Gebundene Ausgabe

[ED: Taschenbuch], [PU: Springer-Verlag GmbH], This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concur… 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 | Taschenbuch | Paperback | ix | Englisch | 2010 | Springer Berlin | EAN 9783642069475 - 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 | Taschenbuch | Paperback | ix | Englisch | 2010 | Springer Berlin | EAN 9783642069475 - Taschenbuch

2010, ISBN: 9783642069475

Gebundene Ausgabe

[ED: Taschenbuch], [PU: Springer Berlin], This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent … 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 | Taschenbuch | Paperback | IX | Englisch | 2010 | 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 | Taschenbuch | Paperback | IX | Englisch | 2010 | Springer-Verlag GmbH - Taschenbuch

2010

ISBN: 9783642069475

Gebundene Ausgabe

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

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
zuklappen (X)
4
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic - Bollig, Benedikt
Bestellen
bei Achtung-Buecher.de
€ 85,63
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Bollig, Benedikt:
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic - Taschenbuch

2010, ISBN: 3642069479

Gebundene Ausgabe

Softcover reprint of hardcover 1st ed. 2006 Kartoniert / Broschiert Algorithmen und Datenstrukturen, Software Engineering, Theoretische Informatik, modeling; algorithmanalysisandproblem… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
5
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic - Bollig, Benedikt
Bestellen
bei Achtung-Buecher.de
€ 57,66
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Bollig, Benedikt:
Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic - Taschenbuch

2010, ISBN: 3642069479

Gebundene Ausgabe

Softcover reprint of hardcover 1st ed. 2006 Kartoniert / Broschiert Algorithmen und Datenstrukturen, Software Engineering, Theoretische Informatik, Asynchronous cellular Finite Automata… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
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
Autor:
Titel:
ISBN-Nummer:

3642069479


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


EAN (ISBN-13): 9783642069475
ISBN (ISBN-10): 3642069479
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
192 Seiten
Gewicht: 0,299 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2012-02-20T21:04:59+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-03-31T10:32:23+02:00 (Berlin)
ISBN/EAN: 3642069479

ISBN - alternative Schreibweisen:
3-642-06947-9, 978-3-642-06947-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: böll, benedikt well, bollig
Titel des Buches: systems formal logic, benedikt, formal languages automata

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: 2010-10-14
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
54,99 € (DE)

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; 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; BB; EA

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:
9783540329237 Formal Models of Communicating Systems (Benedikt Bollig)

< zum Archiv...