Malik Sharad Editor (1 results)

Author:

Refine with Advanced Search

Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings (Lecture Notes in Computer Science . Computer Science and General Issues)
Gupta, Aarti (Editor) / Malik, Sharad (Editor)
Language: English
Published by Springer, 2008
3540705430 / 9783540705437
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
5-star seller
Contact seller
Condition: New
£ 163.29
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Paperback. Condition: Brand New. 1st edition. 558 pages. 9.00x9.00x0.75 inches. In Stock.