AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings
Editat de Guy Avni et al.
17 iul 2024
Paperback
Preț: 770.36 lei 962.95 lei
Indisponibil temporar
-20%
Guy Katz
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ț: 389.14 lei 486.44 lei
3-5 săpt. | 6-10 zile
-20%