Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings Lecture Notes in Computer Science, nr. 6823 Editat de Alex Groce et al. 5 iul 2011 Paperback Preț: 414.96 lei 518.70 lei 43-57 zile -20%
