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 - encadernada, 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 - encadernada, 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 - encadernada, 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. - encadernada, 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. - encadernada, 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 - encadernada, 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 - encadernada, 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 - encadernada, 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. - encadernada, 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. - encadernada, 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-04T10:31:43-03:00 (Sao Paulo)
Página de detalhes modificada pela última vez em 2024-02-27T09:26:53-03:00 (Sao Paulo)
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
Outros livros adicionais, que poderiam ser muito similares com este livro:
Último livro semelhante:
9783642069475 Formal Models of Communicating Systems (Benedikt Bollig)
< Para arquivar...