Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, ... Notes in Computer Science, 13702, Band 13702)
74.89 EUR 64.98 EUR
13% Off
Dieses Buch sammelt die neuesten Arbeiten zum Einsatz formaler Methoden in der Softwareverifikation, präsentiert von den Autoren des ISoLA 2022 Symposiums – ein praxisorientierter Leitfaden für Forschung und Entwicklung.