Computer Aided Verification: 20th International Conference, Cav 2008 Princeton, Nj, Usa, July 7-14, 2008, Proceedings (Lecture Notes in Computer...Computer Science and General Issues)
Add this copy of Computer Aided Verification: 20th International to cart. $10.62, very good condition, Sold by GuthrieBooks rated 5.0 out of 5 stars, ships from Spring Branch, TX, UNITED STATES, published 2008 by Springer.
Add this copy of Computer Aided Verification: 20th International to cart. $31.23, new condition, Sold by discount_scientific_books rated 3.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES.
Add this copy of Computer Aided Verification: 20th International to cart. $32.55, new condition, Sold by discount_scientific_books rated 3.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES.
Add this copy of Computer Aided Verification: 20th International to cart. $41.42, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2008 by Springer.
Add this copy of Computer Aided Verification to cart. $52.39, new condition, Sold by Media Smart rated 4.0 out of 5 stars, ships from Hawthorne, CA, UNITED STATES, published by Springer.
Add this copy of Computer Aided Verification (Pb 2008) to cart. $70.93, new condition, Sold by Books International rated 4.0 out of 5 stars, ships from Toronto, ON, CANADA, published 2008 by Springer.
Add this copy of Computer Aided Verification to cart. $71.33, new condition, Sold by discount_scientific_books rated 3.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2008 by Springer.
