Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... in Computer and Information Science)
53.49 EUR
Ein Leitfaden für Ingenieure und Forscher, der zeigt, wie formale Techniken in Softwareentwicklung, Sicherheit und Zuverlässigkeit eingesetzt werden können, ergänzt durch Fallstudien aus internationalen Workshops.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
SpringerLink DE
Leveraging Applications of Formal Methods, Verification, and Validation
SpringerLink DE
10-05-2026 08:21:00
Gesponsert
Galaxus.de
Leveraging Applications of Formal Methods, Verification, and Validation, Fachbücher von Bernhard Steffen, Tiziana Margaria, Jens Knoop, Reiner Hähnle, Dietmar Schreiner
Galaxus.de
10-05-2026 17:07:29
