AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings Lecture Notes in Computer Science, nr. 14846 Editat de Guy Avni et al. 17 iul 2024 Paperback Preț: 770.36 lei 962.95 lei Indisponibil temporar -20%