Leveraging Applications of Formal Methods, Verification, and Validation: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, ... in Computer and Information Science)
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
14-08-2026 22:25:43
