Verification, Model Checking, and Abstract Interpretation
Editat de Byron Cook et al.
3 ian 2007
Paperback
Preț: 326.91 lei 408.64 lei
6-8 săpt.
-20%
Cărți de Byron Cook
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings
Editat de María Alpuente et al.
26 oct 2009
Paperback
Preț: 317.85 lei 397.31 lei
6-8 săpt.
-20%