Name: Verification, Model Checking, and Abstract Interpretation: 24th International Conference, Vmcai 2023, Boston, Ma, Usa, January 16-17, 2023, Proceeding (en Inglés)
Price: 136.80 USD
Availability: InStock
Author: Dragoi, Cezara ; Emmi, Michael ; Wang, Jingbo
ISBN: 9783031249495

portada Verification, Model Checking, and Abstract Interpretation: 24th International Conference, Vmcai 2023, Boston, Ma, Usa, January 16-17, 2023, Proceeding (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Dragoi, Cezara ; Emmi, Michael ; Wang, Jingbo

Idioma

Inglés

N° páginas

389

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 2.1 cm

Peso

0.56 kg.

ISBN13

9783031249495

Categorías

Ciencia y análisis de datos
Análisis y captura de datos
Sistemas basados en el conocimiento

Verification, Model Checking, and Abstract Interpretation: 24th International Conference, Vmcai 2023, Boston, Ma, Usa, January 16-17, 2023, Proceeding (en Inglés)

Dragoi, Cezara ; Emmi, Michael ; Wang, Jingbo (Autor) · Springer · Tapa Blanda

Libro Nuevo

$ 136.80

$ 210.47

Ahorras: $ 73.66

35% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Lunes 29 de Julio y el Lunes 12 de Agosto.

Lo recibirás en cualquier lugar de Ecuador entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Verification, Model Checking, and Abstract Interpretation: 24th International Conference, Vmcai 2023, Boston, Ma, Usa, January 16-17, 2023, Proceeding (en Inglés)"

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.