Verification, Model Checking, and Abstract Interpretation
Editat de Neil Jones et al.
18 dec 2008
Paperback
Preț: 340.13 lei 425.16 lei
43-57 zile
-20%
Cărți de Markus Müller-Olm
Modular Compiler Verification
Autor Markus Müller-Olm
6 aug 1997
Paperback
Preț: 320.93 lei 401.17 lei
43-57 zile
-20%
Variations on Constants
Autor Markus Müller-Olm
2 oct 2006
Paperback
Preț: 316.83 lei 396.04 lei
43-57 zile
-20%
Static Analysis
Editat de Markus Müller-Olm et al.
20 aug 2014
Paperback
Preț: 338.01 lei 422.51 lei
43-57 zile
-20%