Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part II
Editat de Constantin Enea et al.
18 iul 2023
Paperback
Preț: 304.11 lei 380.14 lei
6-8 săpt.
-20%
Constantin Enea
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings
Editat de Constantin Enea et al.
11 ian 2019
Paperback
Preț: 338.46 lei 423.07 lei
6-8 săpt.
-20%