Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings (Lecture Notes in Computer Science)

Berry, Gerard [Editor]; Comon, Hubert [Editor]; Finkel, Alain [Editor];

ISBN 10: 3540423451 ISBN 13: 9783540423454
Published by Springer, 2001
Language: English
Condition: Used - Very good Soft cover

Sold by GuthrieBooks, Spring Branch, TX, U.S.A.

AbeBooks Seller since 1 February 2007

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 - Very good

Price:
£ 3.84
£ 5.23 shipping
Ships within U.S.A.

Quantity: 1 available

Add to basket