Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

Damm, Werner and Holger Hermanns

ISBN 10: 3540733671 ISBN 13: 9783540733676
Published by Springer 17.08.2007., 2007
Language: English
Condition: Used - Very good Soft cover

Sold by NEPO UG, Rüsselsheim am Main, Germany

AbeBooks Seller since 15 November 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 - Very good

Price:
£ 36.31
£ 20.93 shipping
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket