Automated Technology for Verification and Analysis

Name: Automated Technology for Verification and Analysis: 6th International Symposium
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
SKU: 9783540883869
Price: 3916.00 INR
Availability: InStock

6th International Symposium

by ATVA 2008 (2008 Seoul, Korea)

Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2008

₹3,916

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–5 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns.
Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.

Offer

Use code GIG9 at checkout and pay ₹3,564 for this book (save ₹352).

9% off every book, up to ₹500 off per order.

About this book

Automated Technology for Verification and Analysis: 6th International Symposium is written by Korea) ATVA 2008 (2008 Seoul. This edition is published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K (2008).