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
HK$ 1.065

Bestilles fra fjernlager

Forventes klar til forsendelse 13. - 19. aug.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
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

Se alt med Javier Esparza ( f.eks. Paperback Bog og Hardcover bog )