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

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

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 1 November 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:
£ 5.81
Free Shipping
Ships within U.S.A.

Quantity: 1 available

Add to basket