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...
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 - 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...
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 - 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...
booklooker.de |
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...
ZVAB.com Antiquariat Bookfarm, Löbnitz, Germany [54905055] [Rating: 5 (von 5)] Shipping costs: EUR 3.00 Details... |
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...
Achtung-Buecher.de Antiquariat Bookfarm Sebastian Seckfort, 04509 Löbnitz Shipping costs: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 - 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...
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 - hardcover2006, 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...
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...
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...
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...
Bibliographic data of the best matching book
Author: | |
Title: | |
ISBN: |
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: 3540329226
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
Information from Publisher
Author: Benedikt Bollig
Title: Formal Models of Communicating Systems - Languages, Automata, and Monadic Second-Order Logic
Publisher: Springer; Springer Berlin
181 Pages
Publishing year: 2006-07-24
Berlin; Heidelberg; DE
Language: English
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.More/other books that might be very similar to this book
Latest similar book:
9783642069475 Formal Models of Communicating Systems (Benedikt Bollig)
< to archive...