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ț: 307.79 lei 384.73 lei
6-8 săpt.
-20%
Cărți de Akash Lal
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers
Editat de Akash Lal et al.
2 feb 2023
Paperback
Preț: 321.17 lei 401.47 lei
6-8 săpt.
-20%
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Editat de Deepak D'Souza et al.
7 ian 2015
Paperback
Preț: 336.07 lei 420.09 lei
6-8 săpt.
-20%