Billede af bogens forside - Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

af Omri Isac

Bog, Paperback, Engelsk, 2022

Priser fra 4 boghandlere

Bogdetaljer

  • SprogEngelsk
  • IndbindingPaperback
  • ISBN9783031212215
  • Udgivet16/12/2022
  • Udgivet afSpringer International Publishing
  • Længde216 sider
  • ForfatterOmri Isac
  • GenreBusiness og læring, Computer og IT