Modeling and Verification of Real-Time Systems

Name: Modeling and Verification of Real-Time Systems: Formalisms and Software Tools
Brand: Iste/Hermes Science Pub
SKU: 9781848210134
Price: 19021.00 INR
Availability: InStock

Formalisms and Software Tools

by Nicolas Navet, Stephan Merz

Iste/Hermes Science Pub · 2008

₹19,021

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

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