Formal Methods Lecture Notes in Computer Science, nr. 16557 Editat de Augusto Sampaio et al. 5 aug 2026 Paperback Preț: 331.26 lei 414.07 lei 3-5 săpt. -20%