Articles liés à Formal Models of Communicating Systems: Languages,...
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-order Logic - Couverture rigide
Synopsis
Rare Book
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Date d'édition2006
- ISBN 10 3540329226
- ISBN 13 9783540329220
- ReliureRelié
- Langueanglais
- Nombre de pages181
Acheter neuf
Afficher cet article
EUR 44,64
Gratuit expédition vers Etats-Unis
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Formal Models of Communicating Systems: Languages,...
Image fournie par le vendeur
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic.
Edité par
Berlin: Springer, 2006
ISBN 10 : 3540329226
ISBN 13 : 9783540329220
Ancien ou d'occasion
Couverture rigide
Vendeur : Antiquariat Bookfarm, Löbnitz, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. 181 p. Ehemaliges Bibliotheksexemplar mit Signatur und Stempel. Leichte Gebrauchsspuren, guter Zustand. Former library book in very good condition. 9783540329220 Sprache: Englisch Gewicht in Gramm: 550. N° de réf. du vendeur 970958
Quantité disponible : 5 disponible(s)
Image d'archives
Formal Models Of Communicating Systems
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABTA-219883
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Models Of Communicating Systems
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-266737
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Models of Communicating Systems
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. x + 182 1st Edition. N° de réf. du vendeur 26299066
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Models of Communicating Systems
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. x + 182 Illus. This item is printed on demand. N° de réf. du vendeur 7548901
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Models of Communicating Systems
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. pp. x + 182. N° de réf. du vendeur 18299056
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020165334
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783540329220
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540329220_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Formal Models of Communicating Systems
Edité par
Springer Berlin Heidelberg Jul 2006, 2006
ISBN 10 : 3540329226
ISBN 13 : 9783540329220
Neuf
Couverture rigide
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 192 pp. Englisch. N° de réf. du vendeur 9783540329220
Quantité disponible : 2 disponible(s)