Model Checking Software Lecture Notes in Computer Science, nr. 15945 Editat de Gidon Ernst et al. 2 noi 2025 Paperback Preț: 338.51 lei 6-8 săpt.