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ț: 375.20 lei 469.00 lei 43-57 zile -20%