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
Bezahlte Anzeige
FILTER
- 0 Ergebnisse
Kleinster Preis: 56,98 €, größter Preis: 77,05 €, Mittelwert: 63,39 €
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: 9367445], 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., 269656, Architecture & Microprocessors, 269265, Computer Science, 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
ShineWood
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: 9367445], 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., 269656, Architecture & Microprocessors, 269265, Computer Science, 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 - Fokkink, Wan
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Fokkink, Wan:
Modelling Distributed Systems - Taschenbuch

2010, ISBN: 3642093213

Gebundene Ausgabe, ID: A12350395

Softcover reprint of hardcover 1st ed. 2007 Kartoniert / Broschiert Computerprogrammierung und Softwareentwicklung, Software Engineering, Informatik, Theoretische Informatik, Systemanalyse und -design, Rechnerarchitektur und Logik-Entwurf, algorithms; algorithm; computer; Computer Science; formal verification; modeling; Semantics; verification, mit Schutzumschlag neu, [PU:Springer Berlin Heidelberg; Springer Berlin]

Neues Buch Achtung-Buecher.de
MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00)
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 30.01.2018 22:24:06
ISBN/EAN: 9783642093210

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


< zum Archiv...
Benachbarte Bücher