AI Verification
First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings
Häftad, Engelska, 2024
Av Guy Avni, Mirco Giacobbe, Taylor T. Johnson, Guy Katz, Anna Lukina, Nina Narodytska, Christian Schilling
2 179 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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;
Produktinformation
- Utgivningsdatum2024-07-17
- Mått155 x 235 x 12 mm
- Vikt312 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor189
- FörlagSpringer International Publishing AG
- ISBN9783031651113