Guy Katz - Böcker

Visar alla böcker från författaren Guy Katz.

2 produkter

Kategorier

2 produkter

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, Engelska, 2022

939 kr

Skickas inom 10-15 vardagar

AI Verification

First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings

Av Guy Avni, Mirco Giacobbe m. fl

Häftad, Engelska, 2024

2 089 kr

Skickas inom 10-15 vardagar