Tools and Algorithms for the Construction and Analysis of Systems

Name: Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
SKU: 9783642120015
Price: 5828.00 INR
Availability: InStock

16th International Conference

by TACAS 2010 (2010 Paphos, Cyprus)

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

₹5,828

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

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

About this book

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference is written by Cyprus) TACAS 2010 (2010 Paphos. This edition is published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K (2010). The book is part of the Advanced research in computing and software science series.

The book deals with Development, Model Checking, Congresses and System design.