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ț: 336.86 lei 421.08 lei
6-8 săpt.
-20%
Cărți de C. R. Ramakrishnan