Vinkkaa tuotetta kavereillesi:
Modelling Distributed Systems - Texts in Theoretical Computer Science. An EATCS Series Wan Fokkink Softcover reprint of hardcover 1st ed. 2007 edition
Hinta
€ 51,49
Tilattu etävarastosta
Arvioitu toimitus ke - to 7. - 15. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai
Löytyy myös muodossa:
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
| Media | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
| Julkaisupäivämäärä | torstai 18. marraskuuta 2010 |
| ISBN13 | 9783642093210 |
| Tuottaja | Springer-Verlag Berlin and Heidelberg Gm |
| Sivujen määrä | 154 |
| Mitta | 155 × 235 × 8 mm · 240 g |
| Kieli | Englanti |
Lisää tuotteita Wan Fokkink
Näytä kaikki![Cover for Wan Fokkink · Introduction to Process Algebra - Texts in Theoretical Computer Science. An EATCS Series (Paperback Book) [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-book&class=scaled&v=1614963679)
![Cover for Wan Fokkink · Introduction to Process Algebra - Texts in Theoretical Computer Science. An EATCS Series (Hardcover Book) [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-book&class=scaled&v=1634431453)
Katso kaikki joka sisältää Wan Fokkink ( Esim. Hardcover Book Ja Paperback Book )