Computer Aided Verification 20th (7 results)

Title:

Refine with Advanced Search

Computer Aided Verification: 20Th International Conference, Cav 2008 Princeton, Nj, Usa, July 7-14, 2008, Proceedings
Sharad Malik, Aarti Gupta
Language: English
Published by Springer, 2008
3540705430 / 9783540705437
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
5-star seller
Contact seller
Condition: New
US$ 50.08
Free Shipping
Ships within U.S.A.
Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Computer Aided Verification: 20Th International Conference, Cav 2008 Princeton, Nj, Usa, July 7-14, 2008, Proceedings
Language: English
Published by Springer, 2008
3540705430 / 9783540705437
- Softcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
5-star seller
Contact seller
Condition: New
US$ 50.75
Free Shipping
Ships within U.S.A.
Quantity: 1 available
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
COMPUTER AIDED VERIFICATION : 20TH INTERNATIONAL CONFERENCE, CAV 2008 PRINCETON, NJ, USA, JULY 7-14, 2008, PROCEEDINGS
AARTI GUPTA,SHARAD MALIK
Language: English
Published by Springer, 2008
3540705430 / 9783540705437
- Softcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
5-star seller
Contact seller
Condition: New
US$ 98.56
Free Shipping
Ships within U.S.A.
Quantity: 1 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings
Unbekannt
Language: English
Published by Springer-Verlag GmbH, 2008
3540705430 / 9783540705437
- Softcover
Seller: Buchpark, Trebbin, GermanyBuchpark
5-star seller
Contact seller
Condition: Used - Fine
US$ 39.28
US$ 117.61 shipping
Ships from Germany to U.S.A.
Quantity: 1 available
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 558 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Computer Aided Verification: 20Th International Conference, Cav 2008 Princeton, Nj, Usa, July 7 14, 2008, Proceedings,
Sharad Malik, Aarti Gupta,
Language: English
Published by Springer,, 2008
- Softcover
Seller: Books in my Basket, New Delhi, IndiaBooks in my Basket
5-star seller
Contact seller
Condition: New
US$ 135.30
US$ 20.16 shipping
Ships from India to U.S.A.
Quantity: 1 available
Add to basket
Soft cover. Condition: New. ISBN:9783540705437.
Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings (Lecture Notes in Computer Science)
Language: English
Published by Springer, 2008
3540705430 / 9783540705437
- Softcover
Seller: Mispah books, Redhill, SURRE, United KingdomMispah books
4-star seller
Contact seller
Condition: Used - As new
US$ 148.84
US$ 33.14 shipping
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
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
US$ 227.92
US$ 16.57 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.