Results for author 'Omri Isac'
Refine Your Results
Sort By:
Booktopia Recommends
Bestsellers
Price Low to High
Price High to Low
Most Recently Published
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
Guy Katz, Radoslav Ivanov, Omri Isac, Nina Narodytska and Laura Nenzi
$99.00
1 Results