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%
Cărți de Arie Gurfinkel
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Arie Gurfinkel et al.
mai 2025
Paperback
Preț: 274.19 lei 342.75 lei
39-44 zile
-20%
Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Editat de Arie Gurfinkel et al.
29 ian 2016
Paperback
Preț: 316.91 lei 396.14 lei
6-8 săpt.
-20%
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%