Free delivery for orders over 69.99 euro.

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

Free delivery for purchases over 69.99 €

DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99 euro.

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer, Berlin
SKU: 47021693
Price: 67.14 EUR
Availability: InStock
Author: Krishna S.
ISBN: 9783031827020

26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

Krishna S.

Sriram Sankaranarayanan

Ashutosh Trivedi

Language

English

Book Paperback

Libristo code: 47021693

Publishers Springer, Berlin, March 2025

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Confer... Full description

Libristo code: 47021693

162 b

67.14 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

LETTRINES GRACQ JULIEN

Paperback

24.10 €

My Hero Academia: Complete Season 3

Blu-ray

25.61 €

Loki : Agent d'Asgard T01 Lee Garbett

Paperback

38.78 €

Les Dessous Du Congrés De Vienne: Juin 1814-4 Janvier 1815 Maurice-Henri Weil

Paperback

36.45 €

Křesťanství v tóze Ondřej Doskočil

Paperback

5.56 €

Arthur Honegger Harry Halbreich

Book

49.42 €

Physique Chimie 2de Manuel 2019 Nicolas Coppens

Paperback

43.74 €

Ni galtzerdiak naiz Socks (Basque) Jeff and Mary Smith

Paperback

9.41 €

Ultimate...70s Various

Audio CD

18.52 €

Entwicklung und Erprobung von Mensch-Maschine-Systemen zur automatisierten Fahrzeugführung Martin Wimmer

Paperback

37.36 €

Caminando 3 Rosaura Sanchez

Paperback

37.57 €

O processo de reestruturacao produtiva nas industrias de Catanduva-SP CARVALHO DOS SANTOS

Paperback

55.19 €

Abrege de l'Histoire Generale des Voyages (Tome premier) Jean-François de La Harpe

Hardback

20.55 €

Bauernhof Sigrid Tinz

Paperback

8.80 €

Wahrnehmung und ihre Veranderung durch die technische Reproduzierbarkeit Veronika Seitz

Paperback

9.11 €

The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2025, held in Denver, CO, USA, during January 20 21, 2025.
The 20 full papers together with 2 accepted tool papers and 18 full length regular and case-study papers presented in the proceedings were carefully reviewed and selected from 48 submissions.

The program of VMCAI 2025 conference in the core areas of VMCAI including abstract interpretation, programming languages, hardware and software model checking, cyber-physical systems, formal synthesis, formal methods in artificial intelligence, concurrency and other areas.