Computer Aided Verification
Editat de Ruzica Piskac et al.
23 iul 2025
Paperback
Preț: 290.13 lei 362.66 lei
38-44 zile
-20%
Ruzica Piskac
Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18–19, 2018, Revised Selected Papers
Editat de Ruzica Piskac et al.
24 noi 2018
Paperback
Preț: 322.93 lei 403.66 lei
43-57 zile
-20%
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ț: 335.11 lei 418.89 lei
43-57 zile
-20%