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%
Models, Mindsets, Meta: The What, the How, and the Why Not?: Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday Lecture Notes in Computer Science, nr. 11200 Editat de Tiziana Margaria et al. 26 iun 2019 Paperback Preț: 326.87 lei 408.59 lei 6-8 săpt. -20%