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 - 9783642096051 - 30. november 2010
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 Softcover reprint of hardcover 1st ed. 2008 edition

Javier Esparza

Pris
zł 488,90

Bestilles fra fjernlager

Forventes klar til forsendelse 22. - 28. jul.

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 Softcover reprint of hardcover 1st ed. 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.

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 )