Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation: 22nd International Conference
Brand: Springer-Nature New York Inc
SKU: 9783030670665
Price: 7012.00 INR
Availability: InStock

22nd International Conference

by Fritz Henglein, Sharon Shoham, Yakir Vizel

Springer-Nature New York Inc · 2021

₹7,012

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Published by Springer-Nature New York Inc in 2021, Verification, Model Checking, and Abstract Interpretation: 22nd International Conference by Fritz Henglein, Sharon Shoham & others runs to 604 pages.