- 5 Résultats
prix le plus bas: € 18,99, prix le plus élevé: € 52,19, prix moyen: € 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
Commander
sur booklooker.de
€ 49,90
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
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 - edition reliée, livre de poche

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

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
fermer(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
Commander
sur booklooker.de
€ 49,90
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé

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 - edition reliée, livre de poche

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

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
fermer(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
Commander
sur booklooker.de
€ 52,19
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
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 - edition reliée, livre de poche

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

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
fermer(X)
4
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - Bollig, Benedikt,
Commander
sur ZVAB.com
€ 18,99
Envoi: € 3,001
Commander
Détails du fournisseur
Lien sponsorisé
Bollig, Benedikt,:
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - edition reliée, livre de poche

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

Frais d'envoi EUR 3.00 Antiquariat Bookfarm, Löbnitz, Germany [54905055] [Rating: 5 (von 5)]
fermer(X)
5
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - Bollig, Benedikt,
Commander
sur Achtung-Buecher.de
€ 24,60
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Bollig, Benedikt,:
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic. - edition reliée, livre de poche

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

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) Antiquariat Bookfarm Sebastian Seckfort, 04509 Löbnitz
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)
Auteur:
Titre:
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.

Informations détaillées sur le livre - 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
Version reliée
Date de parution: 2006
Editeur: Springer
182 Pages
Poids: 0,415 kg
Langue: eng/Englisch

Livre dans la base de données depuis 2007-06-04T15:31:43+02:00 (Zurich)
Page de détail modifiée en dernier sur 2024-02-27T13:26:53+01:00 (Zurich)
ISBN/EAN: 3540329226

ISBN - Autres types d'écriture:
3-540-32922-6, 978-3-540-32922-0
Autres types d'écriture et termes associés:
Auteur du livre: automata, bollig, boll, böll, benedikt well
Titre du livre: logic for computer science, theoretical computer science, formal models communicating systems, automata, formal languages

Données de l'éditeur

Auteur: Benedikt Bollig
Titre: Formal Models of Communicating Systems - Languages, Automata, and Monadic Second-Order Logic
Editeur: Springer; Springer Berlin
181 Pages
Date de parution: 2006-07-24
Berlin; Heidelberg; DE
Langue: Anglais
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.

Autres livres qui pourraient ressembler au livre recherché:

Dernier livre similaire:
9783642069475 Formal Models of Communicating Systems (Benedikt Bollig)

< pour archiver...