Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, ... Notes in Computer Science, 13703, Band 13703)
74.89 EUR 74.34 EUR
1% Off
Das Buch fasst die neuesten Erkenntnisse des ISoLA 2022 zusammen, beleuchtet innovative Anwendungen formaler Methoden in der Softwareverifikation und zeigt praxisnahe Fallstudien aus dem internationalen Symposium.