Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends: 9th International Symposium on Leveraging Applications of ... Notes in Computer Science, Band 12479)
53.49 EUR
Ein kompakter Leitfaden aus dem neunten internationalen Symposium, der innovative Techniken zur formalen Analyse von Softwaresystemen vorstellt und konkrete Einsatzszenarien für Verifikation und Validierung aufzeigt.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
SpringerLink DE
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends
SpringerLink DE
15-05-2026 03:24:10
Gesponsert
Galaxus.de
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, Fachbücher von Tiziana Margaria, Bernhard Steffen
Galaxus.de
15-05-2026 04:15:45
