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%
Cărți de Akash Lal
Verification, Model Checking, and Abstract Interpretation
Editat de Deepak D'Souza et al.
7 ian 2015
Paperback
Preț: 330.79 lei 413.49 lei
6-8 săpt.
-20%
Verified Software. Theories, Tools and Experiments.
Editat de Akash Lal et al.
2 feb 2023
Paperback
Preț: 315.05 lei 393.82 lei
6-8 săpt.
-20%