
Fortæl dine venner om denne vare:
Unfoldings: A Partial-Order Approach to Model Checking - Monographs in Theoretical Computer Science. An EATCS Series Softcover reprint of hardcover 1st ed. 2008 edition
Javier Esparza
Pris
₪ 455
Bestilles fra fjernlager
Forventes klar til forsendelse 22. - 28. jul.
Tilføj til din iMusic ønskeseddel
Eller
Findes også som:
Unfoldings: A Partial-Order Approach to Model Checking - Monographs in Theoretical Computer Science. An EATCS Series Softcover reprint of hardcover 1st ed. 2008 edition
Javier Esparza
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory.
184 pages, black & white illustrations
Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
Udgivet | 30. november 2010 |
ISBN13 | 9783642096051 |
Forlag | Springer-Verlag Berlin and Heidelberg Gm |
Antal sider | 172 |
Mål | 155 × 235 × 9 mm · 267 g |
Sprog | Engelsk |
Vis alle
Mere med Javier Esparza
Se alt med Javier Esparza ( f.eks. Paperback Bog og Hardcover bog )