Verified Software: Theorie, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
Editat de Ernie Cohen et al.
23 ian 2014
Paperback
Preț: 326.13 lei 407.66 lei
6-8 săpt.
-20%