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

Editor

Springer

Fecha de publicaci�n

2025

Idioma

Ingl�s

ISBN 10

303182699X

ISBN 13

9783031826993

Encuadernaci�n

Encuadernaci�n de tapa blanda

Estado

New

Cat�logos de vendedores

Acerca de

Sinopsis

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.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

I mainly carry imported books from South East Asia / South Asia for readers of all Age Groups.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

PLETOS INC
6931 51st Avenue, WOODSIDE, Woodside, NY, 11377, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

We accept return for those books which are received damamged. Though we take appropriate care in packaing to avoid such situation.

Derecho a cancelaci�n

Condiciones de env�o

Tarifas de env�o de Estados Unidos de America a Espa�a

Tarifas de env�o de Estados Unidos de America a Espa�a
Cantidad del pedido	De 25 a 45 d�as h�biles	De 8 a 14 d�as h�biles
Primer art�culo	EUR 9.84	EUR 14.98

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.