Networked Systems
Editat de Armando Castañeda et al.
25 aug 2024
Paperback
Preț: 374.65 lei 468.31 lei
43-57 zile
-20%
Constantin Enea
Computer Aided Verification
Editat de Constantin Enea et al.
17 iul 2023
Paperback
Preț: 305.98 lei 382.48 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%