Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings Lecture Notes in Computer Science, nr. 13255 Editat de Owolabi Legunsen et al. 23 aug 2022 Paperback Preț: 614.52 lei 768.14 lei 43-57 zile | 5-11 zile -20%