Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Wo zu kaufen (2) Eigenschaften
Gesponsert
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 20-10-2026 18:59:17
Siehe Produktangebot
Gesponsert
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Hugendubel
69.49 EUR
Preis aktualisiert am: 21-10-2026 03:51:59
Siehe Produktangebot

Allgemein

Marke
Springer International Publishing

Eigenschaften

Ähnliche Produkte

Guide to Software Verification with Frama-C
Guide to Software Verification with Frama-C
Aus74.43 EUR 3
Produkt anzeigen
String Analysis for Software Verification and Security
String Analysis for Software Verification and Security
Aus53.49 EUR 2
Produkt anzeigen
Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
Aus45.50 EUR 2
Produkt anzeigen
Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
Aus47.00 EUR 2
Produkt anzeigen
Hardware and Software: Verification and Testing
Hardware and Software: Verification and Testing
Aus47.00 EUR 2
Produkt anzeigen
Leveraging Applications of Formal Methods Verification and Validation. Software Engineering Methodologies
Leveraging Applications of Formal Methods Verification and Validation. Software Engineering Methodologies
Aus53.49 EUR 2
Produkt anzeigen
Menü