Bokus
Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop,

OTHER, 2022

Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop,

Av Omri Isac, Radoslav Ivanov

646 kr

Skickas inom 5-8 vardagar

Beskrivning
Produktinformation
  • Utgivningsdatum: 2022-12-16
  • Format: OTHER
  • Antal sidor: 216
  • Förlag: Springer
  • ISBN: 9783031212239
Utforska kategorier
  • Inga kategorier tillgängliga.
Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.