Verification, Model Checking, and Abstract Interpretation
Editat de Byron Cook et al.
3 ian 2007
Paperback
Preț: 327.92 lei 409.89 lei
6-8 săpt.
-20%
Cărți de Byron Cook
Formal Methods for Industrial Critical Systems
Editat de María Alpuente et al.
26 oct 2009
Paperback
Preț: 318.27 lei 397.84 lei
6-8 săpt.
-20%