Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings Lecture Notes in Computer Science, nr. 13872 Editat de Georgiana Caltais et al. 2 mai 2023 Paperback Preț: 404.67 lei 6-8 săpt.
