Model Checking Software Lecture Notes in Computer Science Editat de Arnd Hartmanns et al. 28 oct 2026 Paperback Preț: 442.72 lei Nepublicat încă Precomandă