![Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings](https://i1.books-express.ro/bt/9783031212215/software-verification-and-formal-methods-for-ml-enabled-autonomous-systems.jpg)
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
Editat de Omri Isac et al.
16 dec 2022
Paperback
Preț: 413.81 lei 517.25 lei
6-8 săpt.
-20%