Deutsch
Österreich
Anmelden
Tipp von eurobuch.at
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Buchtipps
Aktuelles
Werbung
FILTER
- 0 Ergebnisse
Kleinster Preis: 56,31 €, größter Preis: 60,99 €, Mittelwert: 59,53 €
Modelling Distributed Systems - Fokkink, Wan
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Fokkink, Wan:
Modelling Distributed Systems - Taschenbuch

2010, ISBN: 9783642093210

[ED: Softcover], [PU: Springer, Berlin], A distributed system is driven by separate components that are executed in parallel, and protocols for such systems form a major aspect of system design in today s world of wireless and mobile networking. Process algebras are languages for the description of elementary parallel systems and are used to study the behavioural properties of distributed systems, but they often lack the ability to handle data.This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. The author employs CRL as the vehicle, a language developed to combine process algebra and abstract data types. Chapters 2 and 3 explain the basics of abstract data types and process algebra, and guide the reader through the syntax and semantics of CRL Chap. 4 examines abstraction from internal behaviour Chap. 5 covers specifications of standard protocols Chap. 6 shows how to transform protocol specifications into labelled transition systems Chap. 7 explains algorithms on labelled transition systems and Chap. 8 presents symbolic verification techniques finally, the Appendix gives a brief overview of the CRL toolset.The book evolved from introductory courses on protocol verification taught to undergraduate and graduate students of computer science, and the text is supported throughout with examples and exercises full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides will be available on the author's website. Researchers in the field can use the book as a broad overview of the state of the art in algebraic specification and verification of distributed systems on the basis of a modern verification tool.2010. viii, 154 S. 7 Tabellen. 235 mmVersandfertig in 3-5 Tagen

Neues Buch Booklooker.de
buecher.de GmbH & Co. KG
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Wan Fokkink
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Wan Fokkink:
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Taschenbuch

2010, ISBN: 3642093213

[SR: 9103817], Paperback, [EAN: 9783642093210], Springer, Springer, Book, [PU: Springer], 2010-11-18, Springer, This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. The author employs CRL as the vehicle, a language developed to combine process algebra and abstract data types. The book evolved from introductory courses on protocol verification taught to undergraduate and graduate students of computer science, and the text is supported throughout with examples and exercises. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author's website., 269577, Network Topics, 269520, Networking & Security, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 14166501, Introduction to Programming, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 14159961, Functional Programming, 14159921, Software Design, Testing & Engineering, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 14159951, Software Architecture, 14159921, Software Design, Testing & Engineering, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 278366, Mathematical Logic, 278363, Mathematical Foundations, 278320, Mathematics, 57, Science & Nature, 1025612, Subjects, 266239, Books

gebrauchtes bzw. antiquarisches Buch Amazon.co.uk
Herb Tandree Philosophy Books
Gebraucht. Versandkosten:Europa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 1-2 business days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 4.80)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Wan Fokkink
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Wan Fokkink:
Modelling Distributed Systems (Texts in Theoretical Computer Science. An EATCS Series) - Taschenbuch

2010, ISBN: 3642093213

[SR: 9103817], Paperback, [EAN: 9783642093210], Springer, Springer, Book, [PU: Springer], 2010-11-18, Springer, This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. The author employs CRL as the vehicle, a language developed to combine process algebra and abstract data types. The book evolved from introductory courses on protocol verification taught to undergraduate and graduate students of computer science, and the text is supported throughout with examples and exercises. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author's website., 269577, Network Topics, 269520, Networking & Security, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 14166501, Introduction to Programming, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 14159961, Functional Programming, 14159921, Software Design, Testing & Engineering, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 14159951, Software Architecture, 14159921, Software Design, Testing & Engineering, 269678, Programming, 71, Computing & Internet, 1025612, Subjects, 266239, Books, 278366, Mathematical Logic, 278363, Mathematical Foundations, 278320, Mathematics, 57, Science & Nature, 1025612, Subjects, 266239, Books

Neues Buch Amazon.co.uk
BOOKS etc
Neuware. Versandkosten:Europa Zone 1: GBP 5,48 pro Produkt.. Usually dispatched within 6-10 business days. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 4.80)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Modelling Distributed Systems als Buch von Wan Fokkink - Springer
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Springer:
Modelling Distributed Systems als Buch von Wan Fokkink - neues Buch

2007, ISBN: 9783642093210

ID: 818405497

Modelling Distributed Systems ab 60.99 EURO Texts in Theoretical Computer Science. An EATCS Series. Softcover reprint of hardcover 1st ed. 2007. Modelling Distributed Systems ab 60.99 EURO Texts in Theoretical Computer Science. An EATCS Series. Softcover reprint of hardcover 1st ed. 2007. Bücher > English, International > Gebundene Ausgaben, [PU: Springer, Berlin/Heidelberg/New York, NY]

Neues Buch eBook.de
No. 13772476. Versandkosten:Zzgl. Versandkosten., zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Modelling Distributed Systems als Buch von Wan Fokkink - Wan Fokkink
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Wan Fokkink:
Modelling Distributed Systems als Buch von Wan Fokkink - gebunden oder broschiert

2007, ISBN: 9783642093210

ID: 694296882

Modelling Distributed Systems:Texts in Theoretical Computer Science. An EATCS Series. Softcover reprint of hardcover 1st ed. 2007. Wan Fokkink Modelling Distributed Systems:Texts in Theoretical Computer Science. An EATCS Series. Softcover reprint of hardcover 1st ed. 2007. Wan Fokkink Bücher > English, International > Gebundene Ausgaben, Springer

Neues Buch Hugendubel.de
No. 13772476. Versandkosten:Zzgl. Versandkosten. (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Modelling Distributed Systems

This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. The author employs µCRL as the vehicle, a language developed to combine process algebra and abstract data types. The book evolved from introductory courses on protocol verification taught to undergraduate and graduate students of computer science, and the text is supported throughout with examples and exercises. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author's website.

Detailangaben zum Buch - Modelling Distributed Systems


EAN (ISBN-13): 9783642093210
ISBN (ISBN-10): 3642093213
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer-Verlag GmbH
164 Seiten
Gewicht: 0,258 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 04.08.2011 12:00:21
Buch zuletzt gefunden am 18.11.2017 20:29:11
ISBN/EAN: 9783642093210

ISBN - alternative Schreibweisen:
3-642-09321-3, 978-3-642-09321-0


< zum Archiv...
Benachbarte Bücher