Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer, Berlin
SKU: 50123032
Price: 76.12 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

Language

English

Book Paperback

Libristo code: 50123032

Publishers Springer, Berlin, March 2026

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

Libristo code: 50123032

185 b

New

76.12 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

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

Hardback

11.10 €

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

Diary

10.79 €

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

Paperback

29.98 €

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.