Computer Aided Verification
Editat de Constantin Enea et al.
18 iul 2023
Paperback
Preț: 303.01 lei 378.77 lei
43-57 zile
-20%
Cărți de Akash Lal
Verified Software. Theories, Tools and Experiments.
Editat de Akash Lal et al.
2 feb 2023
Paperback
Preț: 315.05 lei 393.82 lei
43-57 zile
-20%