«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Verification, Model Checking, and Abstract Interpretation

27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Verification, Model Checking, and Abstract Interpretation Yu-Fang Chen
Código Libristo: 50123032
Editores Springer, Berlin, marzo 2026
This book constitutes the proceedings of the 27th International Conference on Verification, Model Ch... Descripción completa
? points 205 b Nuevo Nuevo
83.59 €
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días

Clientes que también han comprado

Die drei ??? Kids, Das außerirdische Buch Ulf Blanck / Libro Tapa dura
common.buy 12.39 €
Le carnet de Gabriel - Petits carreaux, 96p, A5 - Graffiti / Calendario/Diario Diario
common.buy 10.89 €
Ce que le corps révèle vraiment de vous Claudine Biland Libro Tapa blanda
common.buy 30.19 €

This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.

The 18 full papers presented in the proceedings were carefully reviewed and selected from 54 submissions. They deal with formal verification model checking, abstract interpretation, fostering interaction, cross-fertilization, and advancement of hybrid methods that combine these and related approaches.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Verification, Model Checking, and Abstract Interpretation
Autor Yu-Fang Chen, Thomas Philip Jensen, Ondrej Lengál
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2026
Número de páginas 434
EAN 9783032156990
Código Libristo 50123032
Editores Springer, Berlin
Peso 651
Dimensiones 155 x 235

Categorías

Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Hundred Decker Rocket SMITH MIKE / Libro Tapa blanda
common.buy 10.49 €
Porcelain and Pottery Shoes Anne Everest Wojtkowski / Libro Tapa dura
common.buy 39.89 €
Desolation Sound Heather Harbord / Libro Tapa blanda
common.buy 30.69 €
School of Udhra Nathaniel Mackey / Libro Tapa blanda
common.buy 13.49 €
Visualization Analysis and Design Tamara Munzner / Libro Tapa dura
common.buy 102.49 €
World Encyclopedia Of Fish & Shellfish And Other Aquatic Creatures Derek Hall / Libro Tapa dura
common.buy 22.99 €
The Random Universe JAFFE ANDREW H / Libro Tapa dura
common.buy 26.19 €
Vinyl NYC Hattie Lindert / Libro Tapa dura
common.buy 35.29 €
Voiceless SABITH MOHAMMED / Libro Tapa blanda
common.buy 13.19 €
The Purposeful Argument Patricia Bostian / Libro Tapa blanda
common.buy 131.09 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?