Formal Methods for Safe Autonomy – Data–driven Verification, Synthesis, and Applications (eng)

Fan, Chuchu

ISBN 13: 9798400708633
Edité par Association for Computing Machinery, 2024
Langue: anglais
Etat : Neuf Couverture souple

Vendu par Brook Bookstore On Demand, Napoli, NA, Italie

Vendeur AbeBooks depuis 11 octobre 2022

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

Afficher tous les articles du vendeur


Neuf(s) - Couverture souple

Etat : Neuf

Prix:
EUR 73,52
EUR 5,50 expédition depuis Italie vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier