Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation: 4th International Conference
Brand: Springer
SKU: 9783540003489
Price: 5662.00 INR
Availability: InStock

4th International Conference

by Lenore D. Zuck, Paul D. Attie, Agostino Cortesi

Springer · 2003 · Paperback

₹5,662

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 in 2003, Verification, Model Checking, and Abstract Interpretation: 4th International Conference by Lenore D. Zuck, Paul D. Attie & others runs to 325 pages in paperback.

The book deals with Congresses, Verification, Computer programs and Computer science.