Software Verification and Formal Methods for ML-Enabled Autonomous Systems Lecture Notes in Computer Science, nr. 13466 Editat de Omri Isac et al. 16 dec 2022 Paperback Preț: 408.50 lei 510.63 lei Indisponibil temporar -20%