Leveraging Applications of Formal Methods: 10th International Symposium - Computer Science Notes, Band 13036
Ein Fachband des 10. Internationalen Symposiums zu formalen Methoden präsentiert aktuelle Forschungsergebnisse, Fallstudien zur Verifikation und praktische Leitfäden für Softwarequalität.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
SpringerLink DE
Leveraging Applications of Formal Methods, Verification and Validation
SpringerLink DE
30-05-2026 18:32:52
Gesponsert
Galaxus.de
Leveraging Applications of Formal Methods, Verification and Validation, Fachbücher von Tiziana Margaria, Bernhard Steffen
Galaxus.de
29-05-2026 16:52:07
