Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends Theoretical Computer Science and General Issues Editat de Tiziana Margaria et al. 5 aug 2021 Paperback Preț: 320.16 lei 400.20 lei 6-8 săpt. -20%