Tools and Algorithms for the Construction and Analysis of Systems

Name: Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference
Brand: Springer
SKU: 9783642198342
Price: 5593.00 INR
Availability: InStock

17th International Conference

by Parosh Aziz Abdulla, K. Rustan M. Leino

Springer · 2011

₹5,593

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 ₹5,093 for this book (save ₹500).

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

About this book

Published by Springer in 2011, Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference by Parosh Aziz Abdulla & K. Rustan M. Leino is available as a new copy.

The book deals with Logic design, Computer networks, Software engineering and Computer science.