Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2725, Band 2725)

Somenzi, Fabio und Jr. Hunt:

ISBN 10: 3540405240 ISBN 13: 9783540405245
Published by Springer, 2008
Language: English
Condition: Used - Good Soft cover

Sold by Studibuch, Stuttgart, Germany

AbeBooks Seller since 24 April 2018

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

View this seller's items


Used - Soft cover

Condition: Used - Good

Price:
£ 6.31
£ 69.78 shipping
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket