Fortæl dine venner om denne vare:
Introduction to Process Algebra - Texts in Theoretical Computer Science. An EATCS Series Wan Fokkink 2000 edition
Pris
DKK 438
Bestilles fra fjernlager
Forventes klar til forsendelse 2. - 8. jan. 2026
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Findes også som:
Introduction to Process Algebra - Texts in Theoretical Computer Science. An EATCS Series
Wan Fokkink
Manipulation of labelled transition systems offers a means of tracing flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically. This textbook gives an introduction into the basics of process algebra and its applications.
176 pages, 11 black & white tables, biography
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 23. december 1999 |
| ISBN13 | 9783540665793 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 168 |
| Mål | 155 × 235 × 11 mm · 317 g |
| Sprog | Engelsk |
![Cover for Wan Fokkink · Modelling Distributed Systems - Texts in Theoretical Computer Science. An EATCS Series (Paperback Bog) [Softcover reprint of hardcover 1st ed. 2007 edition] (2010)](https://imusic.b-cdn.net/images/item/original/210/9783642093210.jpg?wan-fokkink-2010-modelling-distributed-systems-texts-in-theoretical-computer-science-an-eatcs-series-paperback-bog&class=scaled&v=1408471308)
![Cover for Wan Fokkink · Modelling Distributed Systems - Texts in Theoretical Computer Science. An EATCS Series (Hardcover bog) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/371/9783540739371.jpg?wan-fokkink-2007-modelling-distributed-systems-texts-in-theoretical-computer-science-an-eatcs-series-hardcover-bog&class=scaled&v=1485684819)