Unfoldings: A Partial-Order Approach to Model Checking - Monographs in Theoretical Computer Science. An EATCS Series - Javier Esparza - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540774259 - March 27, 2008
In case cover and title do not match, the title is correct

Unfoldings: A Partial-Order Approach to Model Checking - Monographs in Theoretical Computer Science. An EATCS Series 2008 edition

Javier Esparza

Price
₺ 4,331
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 6 - 18

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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

Media Books     Hardcover Book   (Book with hard spine and cover)
Released March 27, 2008
ISBN13 9783540774259
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 172
Dimensions 241 × 166 × 16 mm   ·   430 g
Language English  
Show all

More by Javier Esparza

See all of Javier Esparza ( e.g. Paperback Book and Hardcover Book )