Runtime Verification Lecture Notes in Computer Science, nr. 14245 Editat de Panagiotis Katsaros et al. 2 oct 2023 Paperback Preț: 488.59 lei 610.73 lei 6-8 săpt. -20%
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ț: 401.75 lei 502.20 lei 3-5 săpt. | 7-13 zile -20%