- 5 resultados
menor preço: € 18.99, preço mais alto: € 52.19, preço médio: € 39.12
1
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 - Bollig, Benedikt
Encomendar
no/na booklooker.de
€ 49.90
Envio: € 0.001
EncomendarLink patrocinado
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 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…

Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
2
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 - Bollig, Benedikt
Encomendar
no/na booklooker.de
€ 49.90
Envio: € 0.001
EncomendarLink patrocinado

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 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…

Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
3
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 - Bollig, Benedikt
Encomendar
no/na booklooker.de
€ 52.19
Envio: € 0.001
EncomendarLink patrocinado
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 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…

Custos de envio:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
4
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - Bollig, Benedikt,
Encomendar
no/na ZVAB.com
€ 18.99
Envio: € 3.001
EncomendarLink patrocinado
Bollig, Benedikt,:
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…

Custos de envio: EUR 3.00 Antiquariat Bookfarm, Löbnitz, Germany [54905055] [Rating: 5 (von 5)]
5
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - Bollig, Benedikt,
Encomendar
no/na Achtung-Buecher.de
€ 24.60
Envio: € 0.001
EncomendarLink patrocinado
Bollig, Benedikt,:
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…

Custos de envio:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Antiquariat Bookfarm Sebastian Seckfort, 04509 Löbnitz

1Como algumas plataformas não transmitem condições de envio e estas podem depender do país de entrega, do preço de compra, do peso e tamanho do item, de uma possível adesão à plataforma, de uma entrega direta pela plataforma ou através de um fornecedor terceirizado (Marketplace), etc., é possível que os custos de envio indicados pela terralivro não correspondam aos da plataforma ofertante.

Dados bibliográficos do melhor livro correspondente

Pormenores referentes ao livro
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)

This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. It provides a unifying theory of communicating automata and their logical properties. Based on Hanf's Theorem and Thomas's graph acceptors, it develops a result that allows characterization of many popular models of distributed computation in terms of the existential fragment of monadic second-order logic.

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...