. .
Deutsch
Österreich
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.at

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.at
Werbung
FILTER
- 0 Ergebnisse
Kleinster Preis: 57,32 €, größter Preis: 60,94 €, Mittelwert: 59,73 €
Modelling Distributed Systems - Wan Fokkink
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Wan Fokkink:
Modelling Distributed Systems - neues Buch

ISBN: 9783642093210

A distributed system is driven by separate components that are executed in parallel, and prools 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 prools; Chap. 6 shows how to transform prool 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 prool 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. Books Books ~~ Mathematics~~ Logic Modelling-Distributed-Systems~~Wan-Fokkink Springer Berlin Heidelberg 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.

Neues Buch [USA] Barnesandnoble.com
Free Shipping on eligible orders over $25 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
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 - Fokkink, Wan
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Fokkink, Wan:
Modelling Distributed Systems - Taschenbuch

2010, ISBN: 3642093213, Lieferbar binnen 4-6 Wochen Versandkosten:Versandkostenfrei innerhalb der BRD

ID: 9783642093210

Internationaler Buchtitel. In englischer Sprache. Verlag: Springer-Verlag GmbH, Paperback, 164 Seiten, L=235mm, B=155mm, H=9mm, Gew.=258gr, [GR: 16320 - HC/Informatik], Kartoniert/Broschiert, Klappentext: 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. 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.

Neues Buch DEU
Buchgeier.com
Lieferbar binnen 4-6 Wochen (Besorgungstitel) Versandkosten:Versandkostenfrei innerhalb der BRD
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Modelling Distributed Systems
Autor:

Fokkink, Wan

Titel:

Modelling Distributed Systems

ISBN-Nummer:

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
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 25.03.2016 02:32:58
ISBN/EAN: 9783642093210

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


< zum Archiv...
Benachbarte Bücher