Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, ... Notes in Computer Science, 13702, Band 13702)

64.98 EUR 13% Off 74.89 EUR

Marke: Tiziana Margaria