Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, ... Notes in Computer Science, 13466, Band 13466) | Kaicus Deutschland

Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, ... Notes in Computer Science, 13466, Band 13466)

61.34 EUR 12% Off 69.54 EUR

Marke: Omri Isac