Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

Wang, Chao, Hachtel, Gary D., Somenzi, Fabio

  • 3.40 out of 5 stars
    5 ratings by Goodreads
ISBN 10: 0470920513 ISBN 13: 9780470920510
Published by Springer
Condition: Used - Good

Sold by Wonder Book, Frederick, MD, U.S.A.

Association Member:

Heritage Bookseller
AbeBooks Seller since November 1, 1997

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

View this seller's items


Used

Condition: Used - Good

Price:
US$ 7.55
Free Shipping
Ships within U.S.A.

Quantity: 1 available

Add to basket