Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
Editat de Jaco van der Pol et al.
27 sep 2010
Paperback
Preț: 327.80 lei 409.75 lei
3-5 săpt.
-20%
Cărți de Jaco van der Pol