Verwandte Artikel zu Formal Models of Communicating Systems: Languages,...

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic - Softcover

Bollig, Benedikt

 
9783642069475: Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic
Softcover
ISBN 10: 3642069479 ISBN 13: 9783642069475
Verlag: Springer, 2010

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.

  • VerlagSpringer
  • Erscheinungsdatum2010
  • ISBN 10 3642069479
  • ISBN 13 9783642069475
  • EinbandTapa blanda
  • SpracheEnglisch
  • Anzahl der Seiten192

Gebraucht kaufen

Zustand: Wie neu
Unread book in perfect condition...
Diesen Artikel anzeigen
9783642069475: Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic
EUR 110,23

Währung umrechnen

EUR 17,64 für den Versand von Vereinigtes Königreich nach USA

Versandziele, Kosten & Dauer

Neu kaufen

Diesen Artikel anzeigen
9783642069475: Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic
EUR 53,94

Währung umrechnen

EUR 3,53 für den Versand innerhalb von/der USA

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9783540329220: Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)

Vorgestellte Ausgabe

ISBN 10:  3540329226 ISBN 13:  9783540329220
Verlag: Springer, 2006
Hardcover

Suchergebnisse für Formal Models of Communicating Systems: Languages,...

Beispielbild für diese ISBN

Bollig, Benedikt
Verlag: Springer, 2010
ISBN 10: 3642069479 ISBN 13: 9783642069475
Neu Softcover

Anbieter: Lucky's Textbooks, Dallas, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020215949

Verkäufer kontaktieren

Neu kaufen

EUR 53,94
Währung umrechnen
Versand: EUR 3,53
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Bollig, Benedikt
Verlag: Springer, 2010
ISBN 10: 3642069479 ISBN 13: 9783642069475
Neu Softcover

Anbieter: GreatBookPrices, Columbia, MD, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 11881597-n

Verkäufer kontaktieren

Neu kaufen

EUR 55,17
Währung umrechnen
Versand: EUR 2,34
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Benedikt Bollig
ISBN 10: 3642069479 ISBN 13: 9783642069475
Neu Taschenbuch
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. 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 9783642069475

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: EUR 23,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Benedikt Bollig
ISBN 10: 3642069479 ISBN 13: 9783642069475
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. 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 9783642069475

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: EUR 29,49
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Benedikt Bollig
Verlag: Springer, 2010
ISBN 10: 3642069479 ISBN 13: 9783642069475
Neu Softcover

Anbieter: Books Puddle, New York, NY, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. pp. 192. Bestandsnummer des Verkäufers 263060283

Verkäufer kontaktieren

Neu kaufen

EUR 81,41
Währung umrechnen
Versand: EUR 3,53
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Foto des Verkäufers

Bollig, Benedikt
Verlag: Springer, 2010
ISBN 10: 3642069479 ISBN 13: 9783642069475
Neu Softcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 11881597-n

Verkäufer kontaktieren

Neu kaufen

EUR 67,98
Währung umrechnen
Versand: EUR 17,64
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Bollig Benedikt
Verlag: Springer, 2010
ISBN 10: 3642069479 ISBN 13: 9783642069475
Neu Softcover
Print-on-Demand

Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. PRINT ON DEMAND pp. 192. Bestandsnummer des Verkäufers 183060273

Verkäufer kontaktieren

Neu kaufen

EUR 83,49
Währung umrechnen
Versand: EUR 9,95
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Foto des Verkäufers

Benedikt Bollig
ISBN 10: 3642069479 ISBN 13: 9783642069475
Neu Kartoniert / Broschiert
Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Kartoniert / Broschiert. 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 5046033

Verkäufer kontaktieren

Neu kaufen

EUR 48,37
Währung umrechnen
Versand: EUR 48,99
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Bollig, Benedikt
Verlag: Springer 2010-10, 2010
ISBN 10: 3642069479 ISBN 13: 9783642069475
Neu PF

Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783642069475

Verkäufer kontaktieren

Neu kaufen

EUR 85,47
Währung umrechnen
Versand: EUR 18,22
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: 10 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Bollig, Benedikt
Verlag: Springer, 2010
ISBN 10: 3642069479 ISBN 13: 9783642069475
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Bestandsnummer des Verkäufers ria9783642069475_new

Verkäufer kontaktieren

Neu kaufen

EUR 93,05
Währung umrechnen
Versand: EUR 14,09
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Es gibt 3 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen