Verification, Model Checking, and Abstract Interpretation
Editat de Francesco Logozzo et al.
26 feb 2008
Paperback
Preț: 323.23 lei 404.04 lei
6-8 săpt.
-20%
Cărți de Francesco Logozzo
Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings
Editat de Francesco Logozzo et al.
6 iun 2013
Paperback
Preț: 329.91 lei 412.39 lei
6-8 săpt.
-20%