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