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