Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer, Berlin
SKU: 50123032
Price: 79.49 EUR
Availability: InStock
Author: Yu-Fang Chen
ISBN: 9783032156990

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

Yu-Fang Chen

Thomas Philip Jensen

Ondrej Lengál

Lingua

Inglese

Libro In brossura

Codice Libristo: 50123032

Casa editrice Springer, Berlin, marzo 2026

This book constitutes the proceedings of the 27th International Conference on Verification, Model Ch... Descrizione completa

Codice Libristo: 50123032

195 b

Nuovi

79.49 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Die drei ??? Kids, Das außerirdische Buch Ulf Blanck

Rigido

11.69 €

Le carnet de Gabriel - Petits carreaux, 96p, A5 - Graffiti

Agenda

11.19 €

Ce que le corps révèle vraiment de vous Claudine Biland Libro

In brossura

30.99 €

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.