Verification, Model Checking, and Abstract Interpretation
Editat de Dirk Beyer et al.
7 feb 2020
Paperback
Preț: 498.05 lei 622.55 lei
22-36 zile | 5-11 zile
-20%
Damien Zufferey
Numerical Software Verification
Editat de Majid Zamani et al.
3 aug 2019
Paperback
Preț: 315.22 lei 394.02 lei
43-57 zile
-20%