Numerical Software Verification
Editat de Majid Zamani et al.
3 aug 2019
Paperback
Preț: 315.22 lei 394.02 lei
6-8 săpt.
-20%
Damien Zufferey
Verification, Model Checking, and Abstract Interpretation
Editat de Dirk Beyer et al.
7 feb 2020
Paperback
Preț: 522.70 lei 653.38 lei
Indisponibil temporar
-20%