Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings Lecture Notes in Computer Science, nr. 11636 Editat de Fabrizio Biondi et al. 14 sep 2019 Paperback Preț: 321.83 lei 402.28 lei 6-8 săpt. -20%