Articles liés à Formal Models of Communicating Systems: Languages,...
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-order Logic - Couverture rigide
Livre 25 sur 44: Texts in Theoretical Computer Science. An EATCS
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Formal Models of Communicating Systems: Languages,...
Image d'archives
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic
Edité par
Springer, 2006
ISBN 10 : 3540329226
ISBN 13 : 9783540329220
Ancien ou d'occasion
Couverture rigide
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. N° de réf. du vendeur G3540329226I3N00
Acheter D'occasion
EUR 41,65
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Models of Communicating Systems : Languages, Automata, and Monadic Second-Order Logic
Edité par
Springer Berlin / Heidelberg, 2006
ISBN 10 : 3540329226
ISBN 13 : 9783540329220
Ancien ou d'occasion
Couverture rigide
Vendeur : Better World Books Ltd, Dunfermline, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. N° de réf. du vendeur 13124221-6
Acheter D'occasion
EUR 41,64
Expédition à EUR 5,84
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
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 ABEOCT25-240180
Acheter neuf
EUR 48,50
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 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 ABBB-155914
Acheter neuf
EUR 48,50
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Models of Communicating Systems
Edité par
Springer, 2006
ISBN 10 : 3540329226
ISBN 13 : 9783540329220
Ancien ou d'occasion
Couverture rigide
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : Used. pp. x + 182 1st Edition. N° de réf. du vendeur 26299066
Acheter D'occasion
EUR 52,42
Expédition à EUR 3,46
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Models of Communicating Systems
Edité par
Springer, 2006
ISBN 10 : 3540329226
ISBN 13 : 9783540329220
Ancien ou d'occasion
Couverture rigide
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : Used. pp. x + 182 Illus. This item is printed on demand. N° de réf. du vendeur 7548901
Acheter D'occasion
EUR 49,65
Expédition à EUR 7,60
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Models of Communicating Systems
Edité par
Springer, 2006
ISBN 10 : 3540329226
ISBN 13 : 9783540329220
Ancien ou d'occasion
Couverture rigide
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : Used. pp. x + 182. N° de réf. du vendeur 18299056
Acheter D'occasion
EUR 50,81
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Formal Models of Communicating Systems : Languages, Automata, and Monadic Second-order Logic
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 4890298-n
Acheter neuf
EUR 58,68
Expédition à EUR 2,29
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Models of Communicating Systems
impression à la demandeVendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service. N° de réf. du vendeur POD-229800
Acheter neuf
EUR 61,04
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
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
Acheter neuf
EUR 61,14
Expédition à EUR 14
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles