Numerical Software Verification
Editat de Majid Zamani et al.
3 aug 2019
Paperback
Preț: 314.25 lei 392.82 lei
6-8 săpt.
-20%
Damien Zufferey
Verification, Model Checking, and Abstract Interpretation: 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
Editat de Dirk Beyer et al.
7 feb 2020
Paperback
Preț: 496.85 lei 621.06 lei
3-5 săpt. | 7-13 zile
-20%