Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems - Chao Wang - Books - Springer-Verlag New York Inc. - 9781489993953 - December 6, 2014
In case cover and title do not match, the title is correct

Chao Wang
Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems 2006 edition

Price
HK$ 914
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 4 - 10

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:

This book summarizes recent research on abstraction techniques for model checking large digital system. Considering the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs.

179 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 6, 2014
ISBN13 9781489993953
Publishers Springer-Verlag New York Inc.
Pages 179
Dimensions 155 × 235 × 11 mm   ·   281 g
Language English  

More by Chao Wang

Show all

Mere med samme udgiver

See all of Chao Wang ( e.g. Hardcover Book , Paperback Book and Book )