Leveraging Applications of Formal Methods, Verification, and Validation: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, ... in Computer and Information Science)
53.49 EUR
Ein praxisorientiertes Buch, das formale Methoden in der Softwareentwicklung beleuchtet, neue Techniken zur Fehlervermeidung vorstellt und zeigt, wie Verifikation und Validierung die Zuverlässigkeit von Systemen steigern.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
SpringerLink DE
Leveraging Applications of Formal Methods, Verification, and Validation
SpringerLink DE
13-05-2026 14:29:44
Gesponsert
Galaxus.de
Leveraging Applications of Formal Methods, Verification, and Validation, Fachbücher von Anna-Lena Lamprecht
Galaxus.de
13-05-2026 12:35:00
