Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings Lecture Notes in Computer Science, nr. 7385 Editat de Alastair Donaldson et al. 25 iul 2012 Paperback Preț: 429.71 lei 537.14 lei 6-8 săpt. -20%
