Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Name: Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop
Brand: Springer International Publishing AG
SKU: 9783031212215
Price: 5067.00 INR
Availability: InStock

5th International Workshop

by Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi

Springer International Publishing AG · 2022

₹5,067

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop by Omri Isac, Radoslav Ivanov & others is a 205-page book published by Springer International Publishing AG in 2022.