Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26-July 2, 2009, Proceeding, (Paperback)

Name: Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26-July 2, 2009, Proceeding, (Paperback)
Brand: Ahmed Bouajjani
SKU: prod_b75d8d73b618c32261da8c74
Price: 220.00 USD
Availability: InStock

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26-July 2, 2009, Proceeding, (Paperback) Author: Springer ISBN: 9783642026577 Format: Paperback Publication Date: 2009-06-19 Page Count: 722

Shipping & Returns

Price unavailable

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26-July 2, 2009, Proceeding, (Paperback)—

$220.00

Price unavailable

Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26-July 2, 2009, Proceeding, (Paperback)—

$220.00