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

Javier Esparza

Price
₩ 147,600
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 23 - 31

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 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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 30, 2010
ISBN13 9783642096051
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 172
Dimensions 155 × 235 × 9 mm   ·   267 g
Language English  
Show all

More by Javier Esparza

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