Home
Software Verification and Formal Methods for ML-Enabled Autonomous Systems by Omri Isac, Paperback | Indigo Chapters
![Software Verification and Formal Methods for ML-Enabled Autonomous Systems by Omri Isac, Paperback | Indigo Chapters](https://dynamic.indigoimages.ca/books/9783031212215.jpg?scaleup=true&width=600&quality=85&lang=en)
Coles
Software Verification and Formal Methods for ML-Enabled Autonomous Systems by Omri Isac, Paperback | Indigo Chapters
From Omri Isac
Current price: $102.50
Loading Inventory...
Size: 1 x 9.25 x 0.75
*Product information may vary - to confirm product availability, pricing, and additional information please contact Coles
5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings | Software Verification and Formal Methods for ML-Enabled Autonomous Systems by Omri Isac, Paperback | Indigo Chapters