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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

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: 47021693
Price: 69.89 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

171 b

69.89 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

LETTRINES GRACQ JULIEN

Paperback

24.89 €

My Hero Academia: Complete Season 3

Blu-ray

32.09 €

Loki : Agent d'Asgard T01 Lee Garbett

Paperback

39.99 €

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

Paperback

37.69 €

Quello della gabbia. Il mio calcio, la mia Inter Corrado Orrico

Paperback

17.19 €

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

Paperback

5.79 €

Arthur Honegger Harry Halbreich

Book

50.89 €

Physique Chimie 2de Manuel 2019 Nicolas Coppens

Paperback

45.09 €

Ni galtzerdiak naiz Socks (Basque) Jeff and Mary Smith

Paperback

9.79 €

Ultimate...70s Various

Audio CD

19.29 €

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

Paperback

41.71 €

Caminando 3 Rosaura Sanchez

Paperback

38.89 €

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

Paperback

57.69 €

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

Hardback

21.49 €

Bauernhof Sigrid Tinz

Paperback

9.19 €

Marienkind Paul Heyse

Paperback

9.90 €

The Sound of Disney Franziska Brocksch

Paperback

23.19 €

Wahrnehmung und ihre Veranderung durch die technische Reproduzierbarkeit Veronika Seitz

Paperback

9.99 €

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.