Bokus
Omri Isac, Radoslav Ivanov - Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop,, Övrigt

Övrigt, Engelska, 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

667 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

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

0 recensioner

Inga recensioner tillgängliga.