Constraint-Based Verification

Yuan, Jun, Pixley, Carl, Aziz, Adnan

ISBN 10: 0130172979 ISBN 13: 9780130172976
Published by Springer, 2006
Used Condition: Very Good Hardcover

Sold by HPB-Ruby, Dallas, TX, U.S.A.

AbeBooks Seller since 15 September 2017

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

View this seller's items


Used - Hardcover

Condition: Very Good

Price: £ 18.77 Convert Currency
£ 83.83 shipping from U.S.A. to United Kingdom Destination, rates & speeds

Quantity: 1 available

Add to basket