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 Andreas Podelski
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Kurt Jensen et al.
18 mar 2004
Paperback
Preț: 638.69 lei 798.37 lei
6-8 săpt.
-20%