Order History
Premium Membership & Rewards
Help Center / FAQ
AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings
eBook
$119.00
By Guy Avni (Editor), Mirco Giacobbe (Editor), Taylor T. Johnson (Editor), Guy Katz (Editor), Anna Lukina (Editor), Nina Narodytska (Editor), Christian Schilling (Editor)
Collect stamps to save with Rewards. 10 stamps = $5. Learn More
Select a store to view item availability.
Available on compatible , the free NOOK App, and in My Digital Library
NOOK App
Download NOOK app
NOOK Devices
NOOK eReaders
- NOOK GlowLight 4 Plus
- NOOK GlowLight 4e
- NOOK GlowLight 4
- NOOK GlowLight Plus 7.8"
- NOOK GlowLight 3
- NOOK GlowLight Plus 6"
NOOK Tablets
- NOOK 9" Lenovo Tablet
- NOOK 10" HD Lenovo Tablet
- NOOK Tablet 7" & 10.1"
- NOOK by Samsung Galaxy Tab 7.0 [Tab A and Tab 4]
- NOOK by Samsung [Tab 4 10.1, S2 & E]
Free NOOK Reading Apps
- NOOK for iOS
- NOOK for Android
BN.com website
Go to your Digital Library in My Account
Limit 1 per customer
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 first group, formal methods for artificial intelligence, comprised: formal specifications for systems with AI components; formal methods for analyzing systems with AI components; formal synthesis methods of AI components; testing approaches for systems with AI component...
You May Also Like
The Incident of the Book in the Nighttime: A Sherlock Holmes Bookshop Mystery
Sherlock Holmes Bookshop Mysteries
eBook
$14.99
CompTIA Tech+ Certification All-in-One Exam Guide, Third Edition (Exam FC0-U71)
All-in-One Exam Guide
eBook
$60.00
CompTIA Security+ Study Guide with over 500 Practice Test Questions: Exam SY0-701
Sybex Study Guide
eBook
$33.00
