Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part I
Editat de Arie Gurfinkel et al.
6 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 II
Editat de Arie Gurfinkel et al.
2 sep 2024
Paperback
Preț: 302.32 lei 377.90 lei
6-8 săpt.
-20%