Freunden von diesem Artikel berichten:
Modelling Distributed Systems - Texts in Theoretical Computer Science. An EATCS Series Wan Fokkink Softcover reprint of hardcover 1st ed. 2007 edition
Preis
SFr. 43,49
exkl. MwSt.
Bestellware
Lieferdatum: ca. 8. - 16. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
Auch vorhanden als:
Modelling Distributed Systems - Texts in Theoretical Computer Science. An EATCS Series
Wan Fokkink
This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. Full solutions are provided in an appendix, while exercise sheets, lab exercises, example specifications and lecturer slides are available on the author's website.
162 pages, 7 black & white tables, biography
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 18. November 2010 |
| ISBN13 | 9783642093210 |
| Verlag | Springer-Verlag Berlin and Heidelberg Gm |
| Seitenanzahl | 154 |
| Maße | 155 × 235 × 8 mm · 240 g |
| Sprache | Englisch |
Weitere Titel von Wan Fokkink
Alle anzeigen![Cover for Wan Fokkink · Introduction to Process Algebra - Texts in Theoretical Computer Science. An EATCS Series (Taschenbuch) [Softcover reprint of hardcover 1st ed. 2000 edition] (2010)](https://imusic.b-cdn.net/images/item/original/840/9783642085840.jpg?wan-fokkink-2010-introduction-to-process-algebra-texts-in-theoretical-computer-science-an-eatcs-series-taschenbuch&class=scaled&v=1614963679)
![Cover for Wan Fokkink · Introduction to Process Algebra - Texts in Theoretical Computer Science. An EATCS Series (Gebundenes Buch) [2000 edition] (1999)](https://imusic.b-cdn.net/images/item/original/793/9783540665793.jpg?wan-fokkink-1999-introduction-to-process-algebra-texts-in-theoretical-computer-science-an-eatcs-series-gebundenes-buch&class=scaled&v=1634431453)
Alle Titel von Wan Fokkink ansehen ( u. a. Gebundenes Buch und Taschenbuch )