Computer Aided Verification
Editat de Alexandra Silva et al.
17 iul 2021
Paperback
Preț: 328.74 lei 410.92 lei
6-8 săpt.
-20%
Cărți de K. Rustan M. Leino
Verification, Model Checking, and Abstract Interpretation
Editat de Barbara Jobstmann et al.
26 dec 2015
Paperback
Preț: 349.51 lei 436.88 lei
6-8 săpt.
-20%