Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings: 13881 (Lecture Notes in Computer Science) - Tapa blanda

9783031249495: Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings: 13881 (Lecture Notes in Computer Science)

Tapa blanda

ISBN 10: 3031249496 ISBN 13: 9783031249495

Editorial: Springer, 2023

Ver todas las copias de esta edici�n del ISBN

This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023.

The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

"Sinopsis" puede pertenecer a otra edici�n de este libro.

Editorial: Springer
A�o de publicaci�n: 2023
Idioma: Ingl�s
ISBN 10: 3031249496
ISBN 13: 9783031249495
Encuadernaci�n: Tapa blanda
N�mero de p�ginas: 400
Editor: Dragoi Cezara, Emmi Michael, Wang Jingbo
Contacto del fabricante: no disponible
Persona responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Comprar nuevo

Ver este art�culo

EUR 79,08

Convertir moneda

EUR 5,19 gastos de env�o desde Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

A�adir al carrito

Otras ediciones populares con el mismo t�tulo

9783031249518: Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Edici�n Destacada

ISBN 10: 3031249518 ISBN 13: 9783031249518
Editorial: Springer, 2023
Tapa blanda

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

Imagen de archivo

Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings (Lecture Notes in Computer Science)

Publicado por Springer, 2023

ISBN 10: 3031249496 ISBN 13: 9783031249495

Nuevo Tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido

Calificaci�n del vendedor: 5 de 5 estrellas

Condici�n: New. In. N� de ref. del art�culo: ria9783031249495_new

Contactar al vendedor

Comprar nuevo

EUR 79,08

Convertir moneda

Gastos de env�o: EUR 5,19

De Reino Unido a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Verification, Model Checking, and Abstract Interpretation

Publicado por Springer, Berlin|Springer Nature Switzerland|Springer, 2023

ISBN 10: 3031249496 ISBN 13: 9783031249495

Nuevo Kartoniert / Broschiert

Librería: moluna, Greven, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Kartoniert / Broschiert. Condici�n: New. N� de ref. del art�culo: 774865356

Contactar al vendedor

Comprar nuevo

EUR 70,33

Convertir moneda

Gastos de env�o: EUR 19,49

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: M�s de 20 disponibles

A�adir al carrito

Imagen del vendedor

Verification, Model Checking, and Abstract Interpretation

Cezara Dragoi

Publicado por Springer Nature Switzerland Jan 2023, 2023

ISBN 10: 3031249496 ISBN 13: 9783031249495

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 -This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023.The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification,model checking, abstract interpretation, program synthesis, static analysis,type systems, deductive methods, decision procedures, theorem proving, programcertification, debugging techniques, program transformation, optimization,and hybrid and cyber-physical systems. 400 pp. Englisch. N� de ref. del art�culo: 9783031249495

Contactar al vendedor

Comprar nuevo

EUR 80,24

Convertir moneda

Gastos de env�o: EUR 11,00

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Imagen del vendedor

Verification, Model Checking, and Abstract Interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16�17, 2023, Proceedings

Cezara Dragoi

Publicado por Springer Nature Switzerland, 2023

ISBN 10: 3031249496 ISBN 13: 9783031249495

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 - This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023.The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification,model checking, abstract interpretation, program synthesis, static analysis,type systems, deductive methods, decision procedures, theorem proving, programcertification, debugging techniques, program transformation, optimization,and hybrid and cyber-physical systems. N� de ref. del art�culo: 9783031249495

Contactar al vendedor

Comprar nuevo

EUR 80,24

Convertir moneda

Gastos de env�o: EUR 11,99

De Alemania a Espa�a

Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Imagen del vendedor

Verification, Model Checking, and Abstract Interpretation

Cezara Dragoi

Publicado por Springer Nature Switzerland, Springer Nature Switzerland Jan 2023, 2023

ISBN 10: 3031249496 ISBN 13: 9783031249495

Nuevo Taschenbuch

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificaci�n del vendedor: 5 de 5 estrellas

Taschenbuch. Condici�n: Neu. Neuware -This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch. N� de ref. del art�culo: 9783031249495

Contactar al vendedor