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ț: 321.81 lei 402.26 lei
3-5 săpt.
-20%
Cărți de Jaco van der Pol