Networked Systems Editat de Armando Castañeda et al. 25 aug 2024 Paperback Preț: 374.65 lei 468.31 lei 6-8 săpt. -20%
Computer Aided Verification Editat de Constantin Enea et al. 18 iul 2023 Paperback Preț: 303.01 lei 378.77 lei 6-8 săpt. -20%
Verification, Model Checking, and Abstract Interpretation: 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings Lecture Notes in Computer Science, nr. 11388 Editat de Constantin Enea et al. 11 ian 2019 Paperback Preț: 335.11 lei 418.89 lei 6-8 săpt. -20%