Unfoldings: A Partial-Order Approach to Model Checking - Monographs in Theoretical Computer Science. An EATCS Series - Javier Esparza - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540774259 - 27. marts 2008
Ved uoverensstemmelse mellem cover og titel gælder titel

Unfoldings: A Partial-Order Approach to Model Checking - Monographs in Theoretical Computer Science. An EATCS Series 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 2008 edition

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory.


188 pages, black & white illustrations

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 27. marts 2008
ISBN13 9783540774259
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 172
Mål 241 × 166 × 16 mm   ·   430 g
Sprog Engelsk  

Vis alle

Mere med Javier Esparza