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ț: 421.05 lei 526.31 lei 6-8 săpt. -20%
