AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings - Lecture Notes in Computer Science - - Books - Springer International Publishing AG - 9783031651113 - July 17, 2024
In case cover and title do not match, the title is correct

AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings - Lecture Notes in Computer Science 2024 edition

Price
$ 135.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 30 - Aug 5

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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;

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 17, 2024
ISBN13 9783031651113
Publishers Springer International Publishing AG
Pages 189
Dimensions 150 × 220 × 10 mm   ·   312 g
Language German  
Editor Avni, Guy
Editor Giacobbe, Mirco
Editor Johnson, Taylor T.
Editor Katz, Guy
Editor Lukina, Anna
Editor Narodytska, Nina
Editor Schilling, Christian

More from the same publisher