Leveraging Applications of Formal Methods, Verification and Validation. Application Areas Lecture Notes in Computer Science, nr. 15223 Editat de Tiziana Margaria et al. 26 oct 2024 Paperback Preț: 334.32 lei 417.90 lei 38-45 zile -20%