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…
booklooker.de |
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…
booklooker.de |
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…
booklooker.de |
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…
ZVAB.com Antiquariat Bookfarm, Löbnitz, Germany [54905055] [Rating: 5 (von 5)] Versandkosten: EUR 3.00 Details... |
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…
Achtung-Buecher.de Antiquariat Bookfarm Sebastian Seckfort, 04509 Löbnitz Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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…
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 broschiert2006, 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…
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…
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…
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…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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 (Berlin)
Detailseite zuletzt geändert am 2024-02-27T13:26:53+01:00 (Berlin)
ISBN/EAN: 3540329226
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...