Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings
Editat de Ezio Bartocci et al.
19 iul 2013
Paperback
Preț: 324.03 lei 405.04 lei
43-57 zile
-20%
Cărți de C. R. Ramakrishnan