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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Sayan Mitra is Professor in the Department of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 16,98 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoEUR 9,77 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoLibrería: Books Puddle, New York, NY, Estados Unidos de America
Condición: New. Nº de ref. del artículo: 26381183415
Cantidad disponible: 3 disponibles
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Condición: New. Nº de ref. del artículo: 18381183421
Cantidad disponible: 3 disponibles
Librería: Majestic Books, Hounslow, Reino Unido
Condición: New. Nº de ref. del artículo: 382720616
Cantidad disponible: 4 disponibles
Librería: Rarewaves.com UK, London, Reino Unido
Hardback. Condición: New. Nº de ref. del artículo: LU-9780262044806
Cantidad disponible: Más de 20 disponibles
Librería: Rarewaves USA, OSWEGO, IL, Estados Unidos de America
Hardback. Condición: New. Nº de ref. del artículo: LU-9780262044806
Cantidad disponible: Más de 20 disponibles
Librería: Rarewaves USA United, OSWEGO, IL, Estados Unidos de America
Hardback. Condición: New. Nº de ref. del artículo: LU-9780262044806
Cantidad disponible: Más de 20 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: New. Nº de ref. del artículo: 41445518-n
Cantidad disponible: 15 disponibles
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Condición: New. 2021. Hardcover. . . . . . Nº de ref. del artículo: V9780262044806
Cantidad disponible: 15 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 41445518
Cantidad disponible: 15 disponibles
Librería: Revaluation Books, Exeter, Reino Unido
Hardcover. Condición: Brand New. 296 pages. 9.25x7.25x0.25 inches. In Stock. Nº de ref. del artículo: 0262044803
Cantidad disponible: 1 disponibles