Akademibokhandeln

Omri Isac – författare

Visar alla böcker från författaren Omri Isac.

1 produkter

  1. Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi - Software Verification and Formal Methods for ML-Enabled Autonomous Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Software Verification and Formal Methods for ML-Enabled Autonomous Systems

    5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

    Av Omri Isac, Radoslav Ivanov m. fl.

    Häftad, 2022

    949 kr

    Lägg i varukorg