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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Sayan Mitra is Professor in the Department of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
EUR 9,33 expédition depuis Etats-Unis vers France
Destinations, frais et délaisEUR 7,64 expédition depuis Etats-Unis vers France
Destinations, frais et délaisVendeur : Books Puddle, New York, NY, Etats-Unis
Etat : New. N° de réf. du vendeur 26381183415
Quantité disponible : 3 disponible(s)
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Etat : New. N° de réf. du vendeur 18381183421
Quantité disponible : 3 disponible(s)
Vendeur : BooksRun, Philadelphia, PA, Etats-Unis
Hardcover. Etat : Very Good. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. N° de réf. du vendeur 0262044803-8-1
Quantité disponible : 1 disponible(s)
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Etat : New. N° de réf. du vendeur 382720616
Quantité disponible : 4 disponible(s)
Vendeur : Rarewaves.com UK, London, Royaume-Uni
Hardback. Etat : New. N° de réf. du vendeur LU-9780262044806
Quantité disponible : Plus de 20 disponibles
Vendeur : Rarewaves USA, OSWEGO, IL, Etats-Unis
Hardback. Etat : New. N° de réf. du vendeur LU-9780262044806
Quantité disponible : Plus de 20 disponibles
Vendeur : Rarewaves USA United, OSWEGO, IL, Etats-Unis
Hardback. Etat : New. N° de réf. du vendeur LU-9780262044806
Quantité disponible : Plus de 20 disponibles
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : New. N° de réf. du vendeur 41445518-n
Quantité disponible : 15 disponible(s)
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Etat : New. 2021. Hardcover. . . . . . N° de réf. du vendeur V9780262044806
Quantité disponible : 15 disponible(s)
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 41445518
Quantité disponible : 15 disponible(s)