Computer Aided Verification

Language: English

Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2011, 2011

3642221092 / 9783642221095

  • Softcover
  • New
See all details

Seller: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, GermanyRheinberg-Buch Andreas Meier eK

5-star seller

AbeBooks seller since November 17, 2008

Softcover

Condition: New

US$ 61.85

US$ 25.82 shipping 
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns

Item description from seller

This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011.The 35 revised full papers presented together with 20 tool papers were carefully reviewed and selected from 161 submissions. The papers are organized in topical sections on the following workshops: 4th International Workshop on Numerical Software Verification (NSV 2011), 10th International Workshop on Parallel and Distributed Methods in Verifications (PDMC 2011), 4th International Workshop on Exploiting Concurrency Efficiently and Correctly (EC2 2011), Frontiers in Analog Circuit Synthesis and Verification (FAC 2011), International Workshop on Satisfiability Modulo Theories, including SMTCOMP (SMT 2011), 18th International SPIN Workshop on Model Checking of Software (SPIN 2011), Formal Methods for Robotics and Automation (FM-R 2011), and Practical Synthesis for Concurrent Systems (PSY 2011). 784 pp. Englisch.…

Seller Inventory # 9783642221095

Title
Computer Aided Verification
Author
Shaz Qadeer
Publisher
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 2011
Publication year
2011
Condition
Neu
Binding
Taschenbuch
Language
English
ISBN 10
3642221092
ISBN 13
9783642221095
Item weight
1,165 grams
Dimensions
235x155x42 mm

Rheinberg-Buch Andreas Meier eK

Bergisch Gladbach, Germany

5-star seller

AbeBooks seller since November 17, 2008

Shipping rates from Germany to U.S.A.

Item5 to 15 business days2 to 4 business days
First itemUS$ 25.82US$ 40.40
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Bank Wire Transfer
  • Paypal

Store description

Online Buchhandel

Seller's business information

Rheinberg-Buch Andreas Meier eK

Germany