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ț: 406.59 lei 508.24 lei 43-57 zile -20%