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%
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ț: 320.06 lei 400.08 lei
43-57 zile
-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ț: 334.93 lei 418.66 lei
43-57 zile
-20%