Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation: 17th International Conference
Brand: Generic
SKU: 9783662491225
Price: 3904.00 INR
Availability: InStock

17th International Conference

by K. Rustan M. Leino Barbara Jobstmann

Generic · 2015

₹3,904

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 Generic in 2015, Verification, Model Checking, and Abstract Interpretation: 17th International Conference by K. Rustan M. Leino Barbara Jobstmann runs to 240 pages.

Topics covered include Computer programs.