Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, ... I: 15529 (Lecture Notes in Computer Science) - Tapa blanda

9783031826993: Verification, Model Checking, and Abstract Interpretation: 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20–21, 2025, ... I: 15529 (Lecture Notes in Computer Science)

Tapa blanda

ISBN 10: 303182699X ISBN 13: 9783031826993

Editorial: Springer, 2025

Ver todas las copias de esta edici�n del ISBN

0 Usado

7 Nuevo

De EUR 79,54

Detalles de la edici�n

EditorialSpringer
A�o de publicaci�n2025
ISBN 10 303182699X
ISBN 13 9783031826993
Encuadernaci�nTapa blanda
IdiomaIngl�s
N�mero de p�ginas252
EditorShankaranarayanan Krishna, Sankaranarayanan Sriram, Trivedi Ashutosh

Comprar nuevo

Ver este art�culo

EUR 79,54

Convertir moneda

GRATIS gastos de env�o en Estados Unidos de America

Destinos, gastos y plazos de env�o

A�adir al carrito

Resultados de la b�squeda para Verification, Model Checking, and Abstract Interpretation:...

Imagen de archivo

Verification, Model Checking, and Abstract Interpretation (Paperback)

Sriram Sankaranarayanan

Publicado por Springer International Publishing AG, Cham, 2025

ISBN 10: 303182699X ISBN 13: 9783031826993

Nuevo Paperback

Librería: Grand Eagle Retail, Fairfield, OH, Estados Unidos de America

Calificaci�n del vendedor: 5 de 5 estrellas

Paperback. Condici�n: 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 ref. del art�culo: 9783031826993

Contactar al vendedor

Comprar nuevo

EUR 79,54

Convertir moneda

Gastos de env�o: GRATIS

A Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Verification, Model Checking, and Abstract Interpretation

Krishna Shankaranarayanan

Publicado por Springer, Berlin, Springer Nature Switzerland, Springer, 2025

ISBN 10: 303182699X ISBN 13: 9783031826993

Nuevo Taschenbuch

Impresi�n bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: 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. 238 pp. Englisch. N� de ref. del art�culo: 9783031826993

Contactar al vendedor

Comprar nuevo

EUR 62,05

Convertir moneda

Gastos de env�o: EUR 23,00

De Alemania a Estados Unidos de America

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

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

Krishna Shankaranarayanan

Publicado por Springer Nature Switzerland, Springer Nature Switzerland, 2025

ISBN 10: 303182699X ISBN 13: 9783031826993

Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: 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 ref. del art�culo: 9783031826993

Contactar al vendedor