Guy Avni – författare
Visar alla böcker från författaren Guy Avni. Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
Del 14846 - Lecture Notes in Computer Science
AI Verification
First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings
Häftad, Engelska, 2024
1 421 kr
Skickas inom 5-8 vardagar
This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024. The scope of the topics was broadly categorized into two groups. The second group, artificial intelligence for formal methods, comprised: AI methods for formal verification;