The following text field will produce suggestions that follow it as you type.

Loading Inventory...

Indigo

Verifying Cyber-physical Systems by Sayan Mitra, Hardcover | Indigo Chapters

From Sayan Mitra

Current price: $79.00
Verifying Cyber-physical Systems by Sayan Mitra, Hardcover | Indigo Chapters
Verifying Cyber-physical Systems by Sayan Mitra, Hardcover | Indigo Chapters

Indigo

Verifying Cyber-physical Systems by Sayan Mitra, Hardcover | Indigo Chapters

From Sayan Mitra

Current price: $79.00
Loading Inventory...

Size: 0.8 x 9.25 x 1.3875

Buy OnlineGet it at Indigo
*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Indigo
A graduate-level textbook that presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. Verification aims to establish whether a system meets a set of requirements. For such cyber-physical systems as driverless cars, autonomous spacecraft, and air-traffic management systems, verification is key to building safe systems with high levels of assurance. This graduate-level textbook presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. It distills the ideas and algorithms that have emerged from more than three decades of research and have led to the creation of industrial-scale modeling and verification techniques for cyber-physical systems. | Verifying Cyber-physical Systems by Sayan Mitra, Hardcover | Indigo Chapters

More About Indigo at St. Vital Centre

Canada's Largest Bookstore. Indigo is the largest book, gift and specialty toy retailer in Canada

Powered by Adeptmind