Constantin Enea

Constantin Enea

Networked Systems

Lecture Notes in Computer Science, nr. 14783

Editat de Armando Castañeda et al.

25 aug 2024

Preț: 376^.08 lei 470^.10 lei

43-57 zile

-20%

Computer Aided Verification

Lecture Notes in Computer Science, nr. 13965

Editat de Constantin Enea et al.

18 iul 2023

Preț: 303^.94 lei 379^.93 lei

43-57 zile

-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

Preț: 335^.11 lei 418^.89 lei

43-57 zile

-20%