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ț: 334.53 lei 418.16 lei
22-36 zile
-20%
Cărți de Jaco van der Pol