Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings - Lecture Notes in Computer Science - - Libros - Springer International Publishing AG - 9783031249495 - 17 de enero de 2023
En caso de que portada y título no coincidan, el título será el correcto

Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings - Lecture Notes in Computer Science 1st ed. 2023 edition

Precio
$ 81,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 23 de jun. - 6 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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.

389 pages, 80 Illustrations, color; 428 Illustrations, black and white; X, 389 p. 508 illus., 80 ill

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 17 de enero de 2023
ISBN13 9783031249495
Editores Springer International Publishing AG
Páginas 389
Dimensiones 150 × 220 × 10 mm   ·   611 g
Lengua Alemán  
Editor Dragoi, Cezara
Editor Emmi, Michael
Editor Wang, Jingbo

Mere med samme udgiver