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 - encadernado, livro de bolso
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… mais…
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 - encadernado, livro de bolso
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… mais…
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 - encadernado, livro de bolso
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… mais…
booklooker.de |
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - encadernado, livro de bolso
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… mais…
ZVAB.com Antiquariat Bookfarm, Löbnitz, Germany [54905055] [Rating: 5 (von 5)] Custos de envio: EUR 3.00 Details... |
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - encadernado, livro de bolso
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… mais…
Achtung-Buecher.de Antiquariat Bookfarm Sebastian Seckfort, 04509 Löbnitz Custos de envio: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 - encadernado, livro de bolso
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… mais…
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 - encadernado, livro de bolso2006, 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… mais…
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 - encadernado, livro de bolso
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… mais…
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - encadernado, livro de bolso
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… mais…
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - encadernado, livro de bolso
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… mais…
Dados bibliográficos do melhor livro correspondente
Autor: | |
Título: | |
Número ISBN: |
Dados detalhados do livro - 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
Livro de capa dura
Ano de publicação: 2006
Editor/Editora: Springer
182 Páginas
Peso: 0,415 kg
Língua: eng/Englisch
Livro na base de dados desde 2007-06-04T14:31:43+01:00 (Lisbon)
Página de detalhes modificada pela última vez em 2024-02-27T12:26:53+00:00 (Lisbon)
Número ISBN/EAN: 3540329226
Número ISBN - Ortografia alternativa:
3-540-32922-6, 978-3-540-32922-0
Ortografia alternativa e termos de pesquisa relacionados:
Autor do livro: automata, bollig, boll, böll, benedikt well
Título do livro: logic for computer science, theoretical computer science, formal models communicating systems, automata, formal languages
Dados da editora
Autor: Benedikt Bollig
Título: Formal Models of Communicating Systems - Languages, Automata, and Monadic Second-Order Logic
Editora: Springer; Springer Berlin
181 Páginas
Ano de publicação: 2006-07-24
Berlin; Heidelberg; DE
Língua: Inglês
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.Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9783642069475 Formal Models of Communicating Systems (Benedikt Bollig)
< Para arquivar...