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ț: 769.76 lei 962.20 lei
Indisponibil temporar
-20%
Cărți de Christian Schilling
Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings
Editat de Georgiana Caltais et al.
2 mai 2023
Paperback
Preț: 400.69 lei
43-57 zile