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

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

Mitra, Sayan

 
9780262044806: Verifying Cyber-Physical Systems: A Path to Safe Autonomy
Couverture rigide
ISBN 10 : 0262044803 ISBN 13 : 9780262044806
Editeur : The MIT Press, 2021

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.

Éditeur
The MIT Press
Date d'édition
2021
Langue
anglais
ISBN 10 
0262044803
ISBN 13 
9780262044806
Reliure
Relié
Nombre de pages
312
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Acheter D'occasion

état :  Assez bon
Ship within 24hrs. Satisfaction...
Afficher cet article
9780262044806: Verifying Cyber-Physical Systems: A Path to Safe Autonomy
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
9780262044806: Verifying Cyber-Physical Systems: A Path to Safe Autonomy
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