Computer Aided Verification
Editat de Constantin Enea et al.
17 iul 2023
Paperback
Preț: 305.04 lei 381.30 lei
6-8 săpt.
-20%
Constantin Enea
Networked Systems: 12th International Conference, NETYS 2024, Rabat, Morocco, May 29–31, 2024, Proceedings
Editat de Armando Castañeda et al.
15 sep 2024
Paperback
Preț: 373.20 lei 466.51 lei
6-8 săpt.
-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
6-8 săpt.
-20%