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

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.

Teilen: