Verwandte Artikel zu Formal Models of Communicating Systems: Languages,...
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series) - Hardcover
Inhaltsangabe
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' 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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Críticas
From the reviews:
"The book deals with one essential problem of communication systems, namely formal description of protocols and systems and verification of correctness of their operation. ... The book, due to clear definitions, well proved theorems and a number of illustrative examples, can be advised as a valuable source of knowledge for graduate mathematics and computer science students." (Jozef Wozniak, Zentralblatt MATH, Vol. 1107 (9), 2007)
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 44,44
Gratis für den Versand von USA nach Deutschland
Versandziele, Kosten & DauerWeitere beliebte Ausgaben desselben Titels
Suchergebnisse für Formal Models of Communicating Systems: Languages,...
Foto des Verkäufers
Formal Models of Communicating Systems. Languages, Automata, and Monadic Second-Order Logic.
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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. Bestandsnummer des Verkäufers 970958
Anzahl: 5 verfügbar
Beispielbild für diese ISBN
Formal Models Of Communicating Systems
Anbieter: Basi6 International, Irving, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-266737
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Models Of Communicating Systems
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers ABNR-85761
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Models of Communicating Systems
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Gebunden. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Precise characterizations of automata models in terms of descriptive logic formalisms Software engineers can use fragments of monadic second-order logic to specify desired system behaviorsFirst monograph dealing with the relationship betwee. Bestandsnummer des Verkäufers 448924538
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Formal Models of Communicating Systems
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. x + 182. Bestandsnummer des Verkäufers 18299056
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Formal Models of Communicating Systems
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. x + 182 1st Edition. Bestandsnummer des Verkäufers 26299066
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Models of Communicating Systems : Languages, Automata, and Monadic Second-Order Logic
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Bestandsnummer des Verkäufers 9783540329220
Anzahl: 1 verfügbar
Foto des Verkäufers
Formal Models of Communicating Systems
Verlag:
Springer Berlin Heidelberg Jul 2006, 2006
ISBN 10: 3540329226
ISBN 13: 9783540329220
Neu
Hardcover
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: 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. Bestandsnummer des Verkäufers 9783540329220
Anzahl: 2 verfügbar
Foto des Verkäufers
Formal Models of Communicating Systems
ISBN 10: 3540329226
ISBN 13: 9783540329220
Neu
Hardcover
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 192 pp. Englisch. Bestandsnummer des Verkäufers 9783540329220
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Formal Models of Communicating Systems
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. pp. x + 182 Illus. This item is printed on demand. Bestandsnummer des Verkäufers 7548901
Anzahl: 1 verfügbar