Verification, Model Checking, and Abstract Interpretation
Editat de Neil Jones et al.
18 dec 2008
Paperback
Preț: 326.07 lei 407.59 lei
6-8 săpt.
-20%
Cărți de Markus Müller-Olm
Variations on Constants
Autor Markus Müller-Olm
2 oct 2006
Paperback
Preț: 315.87 lei 394.84 lei
6-8 săpt.
-20%
Modular Compiler Verification
Autor Markus Müller-Olm
6 aug 1997
Paperback
Preț: 319.96 lei 399.94 lei
6-8 săpt.
-20%