Verification, Model Checking, and Abstract Interpretation
Editat de Neil Jones et al.
18 dec 2008
Paperback
Preț: 327.07 lei 408.84 lei
6-8 săpt.
-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
6-8 săpt.
-20%
Variations on Constants
Autor Markus Müller-Olm
2 oct 2006
Paperback
Preț: 316.83 lei 396.04 lei
6-8 săpt.
-20%