Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies
12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
Autor:
Tiziana Margaria, Bernhard Steffen
Dostupnosť:
Skladom u dodávateľa
Odosielame za 5-8 dní
66.03
€
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th Inter...
