AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings - Couverture souple

9783031651113: AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings

Couverture souple

ISBN 10 : 3031651111 ISBN 13 : 9783031651113

Editeur : Springer, 2024

Afficher les exemplaires de cette �dition comportant l?ISBN

1 D'occasion

De EUR 102,42

13 Neuf

De EUR 110,26

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 components; statistical approaches for analyzing systems with AI components; and approaches for enhancing the explainability of systems with AI components. The second group, artificial intelligence for formal methods, comprised: AI methods for formal verification; AI methods for formal synthesis; AI methods for safe control; and AI methods for falsification.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2024
Langue: anglais
ISBN 10: 3031651111
ISBN 13: 9783031651113
Reliure: Broch�
Nombre de pages: 200
�diteur: Avni Guy, Giacobbe Mirco, Johnson Taylor T., Katz Guy, Lukina Anna, Narodytska Nina, Schilling Christian
Coordonn�es du fabricant: ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Allemagne

Acheter D'occasion

�tat : Satisfaisant

Afficher cet article

EUR 102,42

Exp�dition �EUR 4,29
Exp�dition nationale�: Etats-Unis

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 110,26

Exp�dition �EUR 5,50
Exp�dition depuis Italie vers Etats-Unis

Ajouter au panier

R�sultats de recherche pour AI Verification: First International Symposium, SAIV...

Image d'archives

AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22�"23, 2024, Proceedings (Lecture Notes in Computer Science)

Edit� par Springer, 2024

ISBN 10 : 3031651111 ISBN 13 : 9783031651113

Ancien ou d'occasion paperback

Vendeur : Books From California, Simi Valley, CA, Etats-Unis

�valuation du vendeur 4 sur 5 �toiles

paperback. Etat : Good. N� de r�f. du vendeur mon0003750877

Contacter le vendeur

Acheter D'occasion

EUR 102,42

Exp�dition �EUR 4,29
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

AI Verification (eng)

Johnson, Taylor T.

Edit� par Springer, 2024

ISBN 10 : 3031651111 ISBN 13 : 9783031651113

Neuf Couverture souple

Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie

�valuation du vendeur 3 sur 5 �toiles

Etat : new. N� de r�f. du vendeur B4KFYLDUCQ

Contacter le vendeur

Acheter neuf

EUR 110,26

Exp�dition �EUR 5,50
Exp�dition depuis Italie vers Etats-Unis

Quantit� disponible : 5 disponible(s)

Ajouter au panier

Image d'archives

AI Verification (eng)

Johnson, Taylor T.

Edit� par Springer, 2024

ISBN 10 : 3031651111 ISBN 13 : 9783031651113

Neuf Couverture souple

Vendeur : Brook Bookstore, Milano, MI, Italie

�valuation du vendeur 4 sur 5 �toiles

Etat : new. N� de r�f. du vendeur B4KFYLDUCQ

Contacter le vendeur

Acheter neuf

EUR 105,52

Exp�dition �EUR 27,99
Exp�dition depuis Italie vers Etats-Unis

Quantit� disponible : 5 disponible(s)

Ajouter au panier

Image d'archives

AI Verification (Paperback)

Guy Avni

Edit� par Springer International Publishing AG, Cham, 2024

ISBN 10 : 3031651111 ISBN 13 : 9783031651113

Neuf Paperback

Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : new. Paperback. 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 components; statistical approaches for analyzing systems with AI components; and approaches for enhancing the explainability of systems with AI components. The second group, artificial intelligence for formal methods, comprised: AI methods for formal verification; AI methods for formal synthesis; AI methods for safe control; and AI methods for falsification. 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; Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N� de r�f. du vendeur 9783031651113

Contacter le vendeur

Acheter neuf

EUR 137,23

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Ai Verification: First International Symposium, Saiv 2024, Montreal, Qc, Canada, July 2223, 2024, Proceedings

Avni, Guy (Editor)/ Giacobbe, Mirco (Editor)/ Johnson, Taylor T./ Katz, Guy/ Lukina, Anna

Edit� par Springer-Nature New York Inc, 2024

ISBN 10 : 3031651111 ISBN 13 : 9783031651113

Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Brand New. 270 pages. 9.25x6.10x9.25 inches. In Stock. N� de r�f. du vendeur __3031651111

Contacter le vendeur

Acheter neuf

EUR 129,90

Exp�dition �EUR 11,47
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

AI Verification

Guy Avni

Edit� par Springer Nature Switzerland, Springer International Publishing Jul 2024, 2024

ISBN 10 : 3031651111 ISBN 13 : 9783031651113

Neuf Taschenbuch

impression � la demande

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 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 components; statistical approaches for analyzing systems with AI components; and approaches for enhancing the explainability of systems with AI components. The second group, artificial intelligence for formal methods, comprised: AI methods for formal verification; AI methods for formal synthesis; AI methods for safe control; and AI methods for falsification. 200 pp. Englisch. N� de r�f. du vendeur 9783031651113

Contacter le vendeur

Acheter neuf

EUR 139,09

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

AI Verification

Johnson, Taylor T.|Katz, Guy|Lukina, Anna|Schilling, Christian

Edit� par Springer, Berlin|Springer Nature Switzerland|Springer, 2024

ISBN 10 : 3031651111 ISBN 13 : 9783031651113

Neuf Kartoniert / Broschiert

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 met. N� de r�f. du vendeur 1691410379

Contacter le vendeur