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ț: 306.73 lei 383.41 lei
43-57 zile
-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ț: 341.38 lei 426.72 lei
43-57 zile
-20%