Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings: 4590 (Lecture Notes in Computer Science, 4590) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 19th International Conference on Computer Aided Verification. Thirty-three state-of-the-technology papers are presented, together with fourteen tool papers, three invited papers, and four invited tutorials. All the current issues in computer aided verification and model checking? from foundational and methodological issues to the evaluation of major tools and systems? are addressed.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Computer Aided Verification: 19th International Conference,...
Stock Image
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science, 4590)
Published by
Springer (edition 2007), 2007
ISBN 10: 3540733671
ISBN 13: 9783540733676
Used
Paperback
Seller: BooksRun, Philadelphia, PA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. 2007. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting. Seller Inventory # 3540733671-8-1
Stock Image
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)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # DA1412734
Stock Image
Computer Aided Verification
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. pp. 584 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 7546599
Buy New
£ 26.33
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Computer Aided Verification
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 584. Seller Inventory # 26301368
Stock Image
Computer Aided Verification
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. pp. 584. Seller Inventory # 18301362
Stock Image
Computer Aided Verification
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-243425
Stock Image
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science, 4590)
Seller: ALLBOOKS1, Direk, SA, Australia
Seller rating 5 out of 5 stars
Brand new book. Fast ship. Please provide full street address as we are not able to ship to P O box address. Seller Inventory # SHAK243425
International Edition
COMPUTER AIDED VERIFICATION
International EditionSeller: UK BOOKS STORE, London, LONDO, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-12 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability. Seller Inventory # CVS 9783540733676
Buy New
£ 48.04
Free Shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 3 available
Stock Image
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science, 4590)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020175889
Seller Image
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
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
Condition: Gut. Auflage: 2007. 584 Seiten MIT CD --- Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969 25,9 x 15,2 x 3,0 cm, Taschenbuch. Seller Inventory # 383861