Deutsch
Deutschland
Anmelden
Tipp von eurobuch.com
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Buch verkaufen
Anbieter, die das Buch mit der ISBN 3540329226 ankaufen:
Suchtools
Buchtipps
Aktuelles
FILTER
- 0 Ergebnisse
Kleinster Preis: 33,24 €, größter Preis: 102,66 €, Mittelwert: 51,14 €
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. An Eatcs Series) - Bollig, Benedikt
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Bollig, Benedikt:
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. An Eatcs Series) - gebunden oder broschiert

2006, ISBN: 3540329226

ID: 199437

Gebundene Ausgabe 182 Seiten Gebundene Ausgabe Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 549430.01 Softwareentwicklung / Logik gebraucht; gut, [PU:Springer,]

gebrauchtes bzw. antiquarisches Buch Achtung-Buecher.de
getbooks GmbH, 65510 Idstein
Versandkosten:Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. An Eatcs Series) - Bollig, Benedikt
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Bollig, Benedikt:
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. An Eatcs Series) - gebunden oder broschiert

2006, ISBN: 9783540329220

[PU: Springer], 182 Seiten Gebundene AusgabeGepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer) in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 549430.01, [SC: 4.00]

gebrauchtes bzw. antiquarisches Buch Booklooker.de
getbooks GmbH
Versandkosten:Versand nach Österreich (EUR 4.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. An Eatcs Series) - Bollig, Benedikt
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Bollig, Benedikt:
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. An Eatcs Series) - gebunden oder broschiert

2006, ISBN: 9783540329220

[PU: Springer], 182 Seiten Gebundene AusgabeGepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer) in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 549430.01, [SC: 3.00]

gebrauchtes bzw. antiquarisches Buch Booklooker.de
getbooks GmbH
Versandkosten:Versand nach Deutschland (EUR 3.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Models of Communicating Systems - Bollig, Benedikt
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Bollig, Benedikt:
Formal Models of Communicating Systems - neues Buch

ISBN: 9783540329220

ID: 304589

Studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems. This book provides a unifying theory of communicating automata and their logical properties. It covers finite automata, asynchronous (cellular) automata and lossy channel systems. Computers Computers eBook, Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Neues Buch Ebooks.com
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. An Eatcs Series) - Bollig, Benedikt
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Bollig, Benedikt:
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. An Eatcs Series) - gebunden oder broschiert

2006, ISBN: 9783540329220

ID: 199437

Springer, 2006., Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. 549430.01, 182 Seiten Gebundene Ausgabe

gebrauchtes bzw. antiquarisches Buch ZVAB.com
getbooks GmbH
Versandkosten: EUR 3.00
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Formal Models of Communicating Systems

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.

Detailangaben zum Buch - Formal Models of Communicating Systems


EAN (ISBN-13): 9783540329220
ISBN (ISBN-10): 3540329226
Gebundene Ausgabe
Erscheinungsjahr: 2006
Herausgeber: Springer-Verlag GmbH
182 Seiten
Gewicht: 0,415 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 04.06.2007 15:31:43
Buch zuletzt gefunden am 14.02.2017 17:26:25
ISBN/EAN: 3540329226

ISBN - alternative Schreibweisen:
3-540-32922-6, 978-3-540-32922-0


< zum Archiv...
Benachbarte Bücher