Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II - Couverture souple

9783031827020: Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, Proceedings, Part II

Couverture souple

ISBN 10 : 3031827023 ISBN 13 : 9783031827020

Editeur : Springer, 2025

Afficher les exemplaires de cette �dition comportant l?ISBN

0 D'occasion

7 Neuf

De EUR 79,61

D�tails de l'�dition

�diteurSpringer
Date d'�dition2025
ISBN 10 3031827023
ISBN 13 9783031827020
ReliureBroch�
Langueanglais
Nombre de pages268
�diteurShankaranarayanan Krishna, Sankaranarayanan Sriram, Trivedi Ashutosh

Acheter neuf

Afficher cet article

EUR 79,61

Autre devise

Gratuit exp�dition vers Etats-Unis

Destinations, frais et d�lais

Ajouter au panier

R�sultats de recherche pour Verification, Model Checking, and Abstract Interpretation:...

Image d'archives

Verification, Model Checking, and Abstract Interpretation (Paperback)

Sriram Sankaranarayanan

Edit� par Springer International Publishing AG, Cham, 2025

ISBN 10 : 3031827023 ISBN 13 : 9783031827020

Neuf Paperback

Vendeur : Grand Eagle Retail, Fairfield, OH, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : new. Paperback. The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 2021, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N� de r�f. du vendeur 9783031827020

Contacter le vendeur

Acheter neuf

EUR 79,61

Autre devise

Frais de port : Gratuit

Vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Verification, Model Checking, and Abstract Interpretation

Krishna Shankaranarayanan

Edit� par Springer, Berlin, Springer Nature Switzerland, Springer, 2025

ISBN 10 : 3031827023 ISBN 13 : 9783031827020

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 -The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20 21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas. 254 pp. Englisch. N� de r�f. du vendeur 9783031827020

Contacter le vendeur

Acheter neuf

EUR 62,05

Autre devise

Frais de port : EUR 23

De Allemagne vers Etats-Unis

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Verification, Model Checking, and Abstract Interpretation : 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Krishna Shankaranarayanan

Edit� par Springer Nature Switzerland, Springer Nature Switzerland, 2025

ISBN 10 : 3031827023 ISBN 13 : 9783031827020

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20 21, 2025.The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions. The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas. N� de r�f. du vendeur 9783031827020

Contacter le vendeur