Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
phone Contact phoneHow to shop

AI Verification

Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings

Language EnglishEnglish
Book Paperback
Book AI Verification Guy Avni
Libristo code: 52830582
Publishers Springer, Berlin, September 2026
This book constitutes the refereed proceedings of the Third International Symposium on AI Verificati... Full description
? points 165 b New New
67.29 € VAT included
Low in stock at our supplier Shipping in 13-18 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

El Blasón Espa?ol Ó La Ciencia Heráldica: Escudos De Armas De Los Diferentes Reinos... [de] Espa?a... Ramón MEDÉL / Book Hardback
common.buy 28.29 €
Sherlock Holmes vyšetruje: Diablovo kopýtko Arthur Conan Doyle / Book Hardback
common.buy 8.89 €
Papi Rebelle (Edition 2024 - poche) David Walliams / Book Paperback
common.buy 9.49 €
Innesto di ortaggi nel peperoncino Mayur Bhoite / Book Paperback
common.buy 53.59 €
Abschied Vom Paradies Frank Thiess / Book Hardback
common.buy 28.29 €
180-Grad-Wende: Kompletter Lebensreset in der Stille Clara Meier / Book Paperback
common.buy 27.99 €
Abraham - Stammvater der monotheistischen Religionen / Book Paperback
common.buy 27.95 €

This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during July 24 25, 2026.

The 17 full papers and 4 competition contributions were carefully reviewed and selected from 34 submissions. The scope of the symposium was organized into two broad thematic areas. The first area,
formal methods for artificial intelligence included topics such as formal specifications, analysis, synthesis, testing, statistical analysis, and explainability for systems with AI components. The second area, artificial intelligence for formal methods focused on AI techniques applied to formal verification, synthesis, safe control, and falsification.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name AI Verification
Author Guy Avni, Christian Schilling
Language English
Binding Book - Paperback
Date of issue 2026
Number of pages 403
EAN 9783032323569
Libristo code 52830582
Publishers Springer, Berlin
Series Lecture Notes in Computer Science
Weight 580
Dimensions 155 x 235

Categories

Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Why Your Five Year Old Could Not Have Done That Morgan Falconer / Book Paperback
common.buy 13.69 €
High-Resolution X-Ray Scattering Ullrich Pietsch / Book Paperback
common.buy 79.69 €
Water Resource: Conservation and Management (Volume II) Sarah Luck / Book Hardback
common.buy 107.29 €
Cosmic Breath SANDEEP CHAVAN / E-book Adobe ePub DRM
common.buy 11.59 €
AI Infrastructures and Sustainability Fieke Jansen / Book Hardback
common.buy 47.19 €
New
AI Strategy for Sales Teams Andrew Hough / Book Paperback
common.buy 37.49 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?