Leveraging Applications of Formal Methods, Verification and Validation | DealShopping Deutschland

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.

Teilen: