Articles liés à Verifying Cyber-Physical Systems: A Path to Safe Autonomy

Verifying Cyber-Physical Systems: A Path to Safe Autonomy - Couverture rigide

 
9780262044806: Verifying Cyber-Physical Systems: A Path to Safe Autonomy

Synopsis

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.

À propos de l?auteur

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.

Acheter D'occasion

état :  Assez bon
Ship within 24hrs. Satisfaction...
Afficher cet article
EUR 60,07

Autre devise

EUR 9,48 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
EUR 44,38

Autre devise

EUR 7,76 expédition depuis Etats-Unis vers France

Destinations, frais et délais

Résultats de recherche pour Verifying Cyber-Physical Systems: A Path to Safe Autonomy

Image d'archives

Mitra, Sayan
Edité par The MIT Press, 2021
ISBN 10 : 0262044803 ISBN 13 : 9780262044806
Neuf Couverture rigide

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 26381183415

Contacter le vendeur

Acheter neuf

EUR 44,38
Autre devise
Frais de port : EUR 7,76
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 3 disponible(s)

Ajouter au panier

Image d'archives

Mitra, Sayan
Edité par The MIT Press, 2021
ISBN 10 : 0262044803 ISBN 13 : 9780262044806
Neuf Couverture rigide

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 18381183421

Contacter le vendeur

Acheter neuf

EUR 53,54
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 3 disponible(s)

Ajouter au panier

Image d'archives

Mitra, Sayan
Edité par The MIT Press (edition ), 2021
ISBN 10 : 0262044803 ISBN 13 : 9780262044806
Ancien ou d'occasion Couverture rigide

Vendeur : BooksRun, Philadelphia, PA, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Hardcover. Etat : Very Good. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. N° de réf. du vendeur 0262044803-8-1

Contacter le vendeur

Acheter D'occasion

EUR 60,07
Autre devise
Frais de port : EUR 9,48
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Mitra, Sayan
Edité par The MIT Press, 2021
ISBN 10 : 0262044803 ISBN 13 : 9780262044806
Neuf Couverture rigide

Vendeur : Majestic Books, Hounslow, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 382720616

Contacter le vendeur

Acheter neuf

EUR 61,31
Autre devise
Frais de port : EUR 10,20
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Mitra, Sayan
Edité par MIT Press Ltd, 2021
ISBN 10 : 0262044803 ISBN 13 : 9780262044806
Neuf Couverture rigide

Vendeur : Rarewaves.com UK, London, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Hardback. Etat : New. N° de réf. du vendeur LU-9780262044806

Contacter le vendeur

Acheter neuf

EUR 72,24
Autre devise
Frais de port : EUR 2,30
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Mitra, Sayan
Edité par MIT Press Ltd, 2021
ISBN 10 : 0262044803 ISBN 13 : 9780262044806
Neuf Couverture rigide

Vendeur : Rarewaves USA, OSWEGO, IL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Hardback. Etat : New. N° de réf. du vendeur LU-9780262044806

Contacter le vendeur

Acheter neuf

EUR 73,49
Autre devise
Frais de port : EUR 3,45
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Mitra, Sayan
Edité par MIT Press Ltd, 2021
ISBN 10 : 0262044803 ISBN 13 : 9780262044806
Neuf Couverture rigide

Vendeur : Rarewaves USA United, OSWEGO, IL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Hardback. Etat : New. N° de réf. du vendeur LU-9780262044806

Contacter le vendeur

Acheter neuf

EUR 76,90
Autre devise
Frais de port : EUR 3,45
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Mitra, Sayan
Edité par The MIT Press, 2021
ISBN 10 : 0262044803 ISBN 13 : 9780262044806
Neuf Couverture rigide

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 41445518-n

Contacter le vendeur

Acheter neuf

EUR 66,04
Autre devise
Frais de port : EUR 17,24
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 15 disponible(s)

Ajouter au panier

Image d'archives

Sayan Mitra
Edité par MIT Press Ltd, 2021
ISBN 10 : 0262044803 ISBN 13 : 9780262044806
Neuf Couverture rigide

Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. 2021. Hardcover. . . . . . N° de réf. du vendeur V9780262044806

Contacter le vendeur

Acheter neuf

EUR 81,54
Autre devise
Frais de port : EUR 3
De Irlande vers France
Destinations, frais et délais

Quantité disponible : 15 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Mitra, Sayan
Edité par The MIT Press, 2021
ISBN 10 : 0262044803 ISBN 13 : 9780262044806
Ancien ou d'occasion Couverture rigide

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 41445518

Contacter le vendeur

Acheter D'occasion

EUR 73,67
Autre devise
Frais de port : EUR 17,24
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 15 disponible(s)

Ajouter au panier

There are 7 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre