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