Fortæl dine venner om denne vare:
Modelling Distributed Systems - Texts in Theoretical Computer Science. An EATCS Series Wan Fokkink Softcover reprint of hardcover 1st ed. 2007 edition
Pris
DKK 438
Bestilles fra fjernlager
Forventes klar til forsendelse 8. - 14. jan. 2026
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Findes også som:
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
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 18. november 2010 |
| ISBN13 | 9783642093210 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 154 |
| Mål | 155 × 235 × 8 mm · 240 g |
| Sprog | Engelsk |
![Cover for Wan Fokkink · Introduction to Process Algebra - Texts in Theoretical Computer Science. An EATCS Series (Paperback Bog) [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-paperback-bog&class=scaled&v=1614963679)
![Cover for Wan Fokkink · Introduction to Process Algebra - Texts in Theoretical Computer Science. An EATCS Series (Hardcover bog) [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-hardcover-bog&class=scaled&v=1634431453)