Formal Modeling and Verification of Cyber-Physical Systems

Name: Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design
Brand: Springer Nature
SKU: 9783658099930
Price: 4176.00 INR
Availability: InStock

1st International Summer School on Methods and Tools for the Design

by Rolf Drechsler, Ulrich Kühne

Springer Nature · 2015 · Paperback

₹4,176

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 ₹3,800 for this book (save ₹376).

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

About this book

Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design is written by Rolf Drechsler & Ulrich Kühne.

Topics covered include Ubiquitous computing and Embedded computer systems.