Delivery included to the United States

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings

Paperback (10 Feb 2020) | German

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Other formats & editions

New
Paperback (07 Feb 2020) RRP $95.69 $84.36

Publisher's Synopsis

Verification, Model Checking, and Abstract Interpretation

Book information

ISBN: 9783030393236
Publisher: Springer Nature B.V.
Imprint: Springer Nature B.V.
Pub date:
Language: German
Number of pages: 488
Weight: 679g
Height: 234mm
Width: 156mm