Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II
Editat de Sharon Shoham et al.
6 aug 2022
Paperback
Preț: 308.43 lei 385.53 lei
6-8 săpt.
-20%
Sharon Shoham
Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings
Editat de Fritz Henglein et al.
12 ian 2021
Paperback
Preț: 587.22 lei 734.02 lei
6-8 săpt.
-20%