Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verification, Model Checking, and Abstract Interpretation

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

Język

Angielski

Książka Miękka

Kod Libristo: 50123032

Wydawnictwo Springer, Berlin, marzec 2026

This book constitutes the proceedings of the 27th International Conference on Verification, Model Ch... Cały opis

Kod Libristo: 50123032

185 b

330.08 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

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

Twarda

48.14 zł

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

Pamiętnik

45.07 zł

Ce que le corps révèle vraiment de vous Claudine Biland Książka

Miękka

128.56 zł

The Crown vol. 2 ROBERT LACEY

Twarda

130.51 zł

Происхождение видов Чарлз Дарвин

Miękka

42.20 zł

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.