Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings Lecture Notes in Computer Science, nr. 9232 Editat de Bernd Fischer et al. 3 sep 2015 Paperback Preț: 321.81 lei 402.26 lei 6-8 săpt. -20%