Verification, Model Checking, and Abstract Interpretation: 17th International Conference, Vmcai 2016, St. Petersburg, Fl, USA, January 17-19, 2016 - Proceedings

Language: English

Published by Springer-Verlag New York Inc, 2016

3662491214 / 9783662491218

  • Softcover
  • New
See all details

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

AbeBooks seller since January 6, 2003

Softcover

Condition: New

£ 70.67

£ 12.50 shipping 
Ships from United Kingdom to U.S.A.

Quantity: 2 available

Add to basket
Free 30-day returns

Item description from seller

572 pages. 9.25x6.10x1.29 inches. In Stock.

Seller Inventory # x-3662491214

Title
Verification, Model Checking, and Abstract Interpretation: 17th International Conference, Vmcai 2016, St. Petersburg, Fl, USA, January 17-19, 2016 - Proceedings
Author
Jobstmann, Barbara (Editor)/ Leino, K. Rustan M. (Editor)
Publisher
Springer-Verlag New York Inc
Publication year
2016
Condition
Brand New
Binding
Paperback
Language
English
ISBN 10
3662491214
ISBN 13
9783662491218
Item weight
0.87 kilograms

Revaluation Books

Exeter, United Kingdom

5-star seller

AbeBooks seller since January 6, 2003

Shipping rates from United Kingdom to U.S.A.

Item7 to 14 business days2 to 3 business days
First item£ 12.50£ 30.00
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

Seller's business information

Edward Bowditch Ltd

Exstowe, Exton
Exeter, United Kingdom EX3 0PP