Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings Lecture Notes in Computer Science, nr. 14624 Autor Thomas Neele et al. 9 sep 2024 Paperback Preț: 372.87 lei 6-8 săpt.
