Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II
Editat de Arie Gurfinkel et al.
2 sep 2024
Paperback
Preț: 302.32 lei 377.90 lei
6-8 săpt.
-20%
Vijay Ganesh
Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part III
Editat de Arie Gurfinkel et al.
5 sep 2024
Paperback
Preț: 302.32 lei 377.90 lei
6-8 săpt.
-20%
Foundational Principles of AI Governance and Policy
Editat de Ann Fitz-Gerald et al.
3 mar 2026
Hardback
Preț: 695.04 lei 914.53 lei
Nepublicat încă
-24% Precomandă
Automated Technology for Verification and Analysis: 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings
Editat de Zhe Hou et al.
14 oct 2021
Paperback
Preț: 461.25 lei 576.57 lei
3-5 săpt. | 7-13 zile
-20%