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ț: 330.98 lei 413.72 lei
6-8 săpt.
-20%