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
Galaxus.de
Leveraging Applications of Formal Methods, Verification and Validation, Fachbücher von Tiziana Margaria, Bernhard Steffen
Galaxus.de
16-07-2026 06:01:39
Gesponsert
SpringerLink DE
Leveraging Applications of Formal Methods, Verification and Validation
SpringerLink DE
16-07-2026 18:33:21
