- 5 Resultados
precio mínimo: € 18,99, precio máximo: € 52,19, precio promedio: € 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
Pedir
por booklooker.de
€ 49,90
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace 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 - encuadernado, tapa blanda

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… Más…

Gastos de envío:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
cerrar (X)
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
Pedir
por booklooker.de
€ 49,90
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace 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 - encuadernado, tapa blanda

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… Más…

Gastos de envío:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
cerrar (X)
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
Pedir
por booklooker.de
€ 52,19
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace 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 - encuadernado, tapa blanda

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… Más…

Gastos de envío:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
cerrar (X)
4
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - Bollig, Benedikt,
Pedir
por ZVAB.com
€ 18,99
Envío: € 3,001
Pedir
Detalles del proveedor
Enlace patrocinado
Bollig, Benedikt,:
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - encuadernado, tapa blanda

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… Más…

Gastos de envío: EUR 3.00 Antiquariat Bookfarm, Löbnitz, Germany [54905055] [Rating: 5 (von 5)]
cerrar (X)
5
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - Bollig, Benedikt,
Pedir
por Achtung-Buecher.de
€ 24,60
Envío: € 0,001
Pedir
Detalles del proveedor
Enlace patrocinado
Bollig, Benedikt,:
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - encuadernado, tapa blanda

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… Más…

Gastos de envío:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Antiquariat Bookfarm Sebastian Seckfort, 04509 Löbnitz
cerrar (X)
1Dado que algunas plataformas no nos comunican las condiciones de envío y éstas pueden depender del país de entrega, del precio de compra, del peso y tamaño del artículo, de una posible membresía a la plataforma, de una entrega directa por parte de la plataforma o a través de un tercero (Marketplace), etc., es posible que los gastos de envío indicados por eurolibro/terralibro no concuerden con los de la plataforma ofertante.

Datos bibliográficos del mejor libro coincidente

Detalles del libro
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)
Autor:
Título:
ISBN:

3540329226


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.

Detalles 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
Tapa dura
Año de publicación: 2006
Editorial: Springer
182 Páginas
Peso: 0,415 kg
Idioma: eng/Englisch

Libro en la base de datos desde 2007-06-04T08:31:43-05:00 (Mexico City)
Página de detalles modificada por última vez el 2024-02-27T06:26:53-06:00 (Mexico City)
ISBN/EAN: 3540329226

ISBN - escritura alterna:
3-540-32922-6, 978-3-540-32922-0
Mode alterno de escritura y términos de búsqueda relacionados:
Autor del libro: automata, bollig, boll, böll, benedikt well
Título del libro: logic for computer science, theoretical computer science, formal models communicating systems, automata, formal languages

Datos del la editorial

Autor: Benedikt Bollig
Título: Formal Models of Communicating Systems - Languages, Automata, and Monadic Second-Order Logic
Editorial: Springer; Springer Berlin
181 Páginas
Año de publicación: 2006-07-24
Berlin; Heidelberg; DE
Idioma: 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.

Más, otros libros, que pueden ser muy parecidos a este:

Último libro similar:
9783642069475 Formal Models of Communicating Systems (Benedikt Bollig)

< para archivar...