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