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