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ț: 311.07 lei 388.84 lei
6-8 săpt.
-20%
Yakir Vizel
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ț: 592.31 lei 740.39 lei
6-8 săpt.
-20%