Home
Software Verification and Formal Methods for ML-Enabled Autonomous Systems by Omri Isac, Paperback | Indigo Chapters
Loading Inventory...
Indigo
Software Verification and Formal Methods for ML-Enabled Autonomous Systems by Omri Isac, Paperback | Indigo Chapters
From Omri Isac
Current price: $102.50
Indigo
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, shipping and return information please contact Indigo
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