Formal Verification of Simulink/Stateflow Diagrams

Name: Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Brand: Springer International Publishing AG
SKU: 9783319470146
Price: 8898.00 INR
Availability: InStock

A Deductive Approach

by Shuling Wang, Naijun Zhan, Hengjun Zhao

Springer International Publishing AG · 2016 · Hardcover

₹8,898

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

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