Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, Vmcai 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings

Language: English

Published by Springer-Nature New York Inc, 2021

303067066X / 9783030670665

Series: Book 5 of 129 - Lecture Notes in Computer Science

  • Softcover
  • New
See all details

Seller: Revaluation Books, Exeter, United KingdomRevaluation Books

5-star seller

AbeBooks seller since January 6, 2003

View this seller's items
Softcover

Condition: New

US$ 166.93

US$ 16.89 shipping 
Ships from United Kingdom to U.S.A.

Quantity: 2 available

Add to basket

Item description from seller

573 pages. 9.25x6.10x1.50 inches. In Stock.

Seller Inventory # x-303067066X

Title
Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, Vmcai 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings
Author
Henglein, Fritz (Editor)/ Shoham, Sharon (Editor)/ Vizel, Yakir (Editor)
Publisher
Springer-Nature New York Inc
Publication year
2021
Condition
Brand New
Binding
Paperback
Language
English
ISBN 10
303067066X
ISBN 13
9783030670665
Item weight
0.94 kilograms
Series
Book 5 of 129: Lecture Notes in Computer Science

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 itemUS$ 16.89US$ 33.78
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