Articles liés à AI Verification: Third International Symposium, SAIV...
AI Verification: Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24–25, 2026, Proceedings - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour AI Verification: Third International Symposium, SAIV...
Image d'archives
AI Verification (Paperback)
Edité par
Springer Nature Switzerland AG, Cham, 2026
ISBN 10 : 3032323568
ISBN 13 : 9783032323569
Neuf
Paperback
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during July 2425, 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. This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783032323569
Acheter neuf
EUR 81,74
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
AI Verification: Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings (Lecture Notes in Computer Science, 16831)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783032323569
Acheter neuf
EUR 83,66
Expédition à EUR 2,68
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
AI Verification
Edité par
Springer, Berlin, Springer Sep 2026, 2026
ISBN 10 : 3032323568
ISBN 13 : 9783032323569
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, duringJuly 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. 402 pp. Englisch. N° de réf. du vendeur 9783032323569
Acheter neuf
EUR 70,61
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
AI Verification
Edité par
Springer Verlag GmbH, 2026
ISBN 10 : 3032323568
ISBN 13 : 9783032323569
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. N° de réf. du vendeur 3439035169
Acheter neuf
EUR 62,42
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
AI Verification : Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, duringJuly 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. N° de réf. du vendeur 9783032323569
Acheter neuf
EUR 85,10
Expédition à EUR 35
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
AI Verification: Third International Symposium, SAIV 2026, Lisbon, Portugal, July 2425, 2026, Proceedings (Lecture Notes in Computer Science, 16831)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 413 pages. 6.14x0.85x9.21 inches. In Stock. N° de réf. du vendeur x-3032323568
Acheter neuf
EUR 111,33
Expédition à EUR 14,93
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
AI Verification
impression à la demandeVendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during July 2425, 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 416 pp. Englisch. N° de réf. du vendeur 9783032323569
Acheter neuf
EUR 70,61
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
AI Verification (Paperback)
Edité par
Springer Nature Switzerland AG, Cham, 2026
ISBN 10 : 3032323568
ISBN 13 : 9783032323569
Neuf
Paperback
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during July 2425, 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. This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N° de réf. du vendeur 9783032323569
Acheter neuf
EUR 88,54
Expédition à EUR 44,18
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
AI Verification | Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. AI Verification | Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, Proceedings | Guy Avni (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xi | Englisch | 2026 | Springer | EAN 9783032323569 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de réf. du vendeur 135966048
Acheter neuf
EUR 64,80
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image d'archives
AI Verification (Paperback)
Edité par
Springer Nature Switzerland AG, Cham, 2026
ISBN 10 : 3032323568
ISBN 13 : 9783032323569
Neuf
Paperback
Vendeur : AussieBookSeller, Truganina, VIC, Australie
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during July 2425, 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. This book constitutes the refereed proceedings of the Third International Symposium on AI Verification, SAIV 2026, held in Lisbon, Portugal, during This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. N° de réf. du vendeur 9783032323569
Acheter neuf
EUR 112,06
Expédition à EUR 33,03
Expédition depuis Australie vers Etats-Unis
Expédition depuis Australie vers Etats-Unis
Quantité disponible : 1 disponible(s)