- 5 Risultati
prezzo più basso: € 18,99, prezzo più alto: € 52,19, prezzo medio: € 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
Ordina
da booklooker.de
€ 49,90
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
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, 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 …

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
Chiudere (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
Ordina
da booklooker.de
€ 49,90
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato

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

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
Chiudere (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
Ordina
da booklooker.de
€ 52,19
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
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, 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 …

Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
Chiudere (X)
4
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - Bollig, Benedikt,
Ordina
da ZVAB.com
€ 18,99
Spedizione: € 3,001
Ordina
Dettagli del offerente
Link sponsorizzato
Bollig, Benedikt,:
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 …

Costi di spedizione: EUR 3.00 Antiquariat Bookfarm, Löbnitz, Germany [54905055] [Rating: 5 (von 5)]
Chiudere (X)
5
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - Bollig, Benedikt,
Ordina
da Achtung-Buecher.de
€ 24,60
Spedizione: € 0,001
Ordina
Dettagli del offerente
Link sponsorizzato
Bollig, Benedikt,:
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 …

Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Antiquariat Bookfarm Sebastian Seckfort, 04509 Löbnitz
Chiudere (X)
1Poiché alcune piattaforme non trasmettono le condizioni di spedizione e queste possono dipendere dal paese di consegna, dal prezzo di acquisto, dal peso e dalle dimensioni dell'articolo, dall'eventuale iscrizione alla piattaforma, dalla consegna diretta da parte della piattaforma o tramite un fornitore terzo (Marketplace), ecc. è possibile che le spese di spedizione indicate da eurolibro non corrispondano a quelle della piattaforma offerente.

Dati bibliografici del miglior libro corrispondente

Dettagli del libro
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)
Autore:
Titolo:
ISBN:

9783540329220


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.

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 (Rome)
Pagina di dettaglio ultima modifica in 2024-02-27T13:26:53+01:00 (Rome)
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...