Formal Methods: Foundations and Applications Lecture Notes in Computer Science, nr. 16363 Editat de Maurice H. Ter Beek et al. 27 noi 2025 Paperback Preț: 390.21 lei 487.76 lei 6-8 săpt. -20%