Formal Methods for Industrial Critical Systems

Name: Formal Methods for Industrial Critical Systems: 16th International Workshop
Brand: Springer
SKU: 9783642244308
Price: 5517.00 INR
Availability: InStock

16th International Workshop

by Gwen Salaün, Bernhard Schätz

Springer · 2011

₹5,517

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

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

About this book

Formal Methods for Industrial Critical Systems: 16th International Workshop is written by Gwen Salaün & Bernhard Schätz. This edition from Springer (2011).

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