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 - copertina rigida, flessible
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… Altro …
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 - copertina rigida, flessible
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… Altro …
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 - copertina rigida, flessible
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… Altro …
booklooker.de |
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - copertina rigida, flessible
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… Altro …
ZVAB.com Antiquariat Bookfarm, Löbnitz, Germany [54905055] [Rating: 5 (von 5)] Costi di spedizione: EUR 3.00 Details... |
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - copertina rigida, flessible
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… Altro …
Achtung-Buecher.de Antiquariat Bookfarm Sebastian Seckfort, 04509 Löbnitz Costi di spedizione: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 - copertina rigida, flessible
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… Altro …
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 - copertina rigida, flessible2006, 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… Altro …
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 - copertina rigida, flessible
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… Altro …
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - copertina rigida, flessible
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… Altro …
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - copertina rigida, flessible
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… Altro …
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - 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
Copertina rigida
Anno di pubblicazione: 2006
Editore: Springer
182 Pagine
Peso: 0,415 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2007-06-04T15:31:43+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-02-27T13:26:53+01:00 (Zurich)
ISBN/EAN: 9783540329220
ISBN - Stili di scrittura alternativi:
3-540-32922-6, 978-3-540-32922-0
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : automata, bollig, boll, böll, benedikt well
Titolo del libro: logic for computer science, theoretical computer science, formal models communicating systems, automata, formal languages
Dati dell'editore
Autore: Benedikt Bollig
Titolo: Formal Models of Communicating Systems - Languages, Automata, and Monadic Second-Order Logic
Editore: Springer; Springer Berlin
181 Pagine
Anno di pubblicazione: 2006-07-24
Berlin; Heidelberg; DE
Lingua: Inglese
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.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9783642069475 Formal Models of Communicating Systems (Benedikt Bollig)
< Per archiviare...