Pricelists.org Anmelden Registrieren

Verification, Model Checking, and Abstract Interpretation

☆☆☆☆☆ (0 reviews)

Show price history

Verification, Model Checking, and Abstract Interpretation

Lowest price (incl. delivery)

8 489,00 JPY

Typical price1 684,59 PLN

Lowest (90 days)60,98 PLN

Offers4

Last updatedvor 1 Woche

See best offer

Price history (90 days)

Full history

2026-08-08 2026-08-15

Preisverlauf
Aktualisiert am	Preis
2026-08-08	60,98
2026-08-15	60,98

Verkäufer	Product price	Delivery	Gesamt	Verfügbarkeit	Updated
SP SpringerNatureLink Shop INT	8 464,00 JPY	25,00 JPY	8 489,00 JPY	Verfügbar	vor 6 Tagen	View offer
SP Springer Nature Author	8 464,00 JPY	15,00 JPY	8 479,00 JPY	Verfügbar	vor 1 Woche	View offer
SP SpringerNatureLink Shop INT	60,98 USD	25,00 USD	85,98 USD	Verfügbar	vor 6 Tagen	View offer
SP SpringerNatureLink Shop INT	70,00 EUR	free	70,00 EUR	Verfügbar	vor 6 Tagen	View offer

Preise und Verfügbarkeit können sich ändern. Zuletzt aktualisiert: 08.08.2026 23:17.

EAN 9783032157003

Springer Nature

0,0

☆☆☆☆☆

0 reviews

5★ 0%

4★ 0%

3★ 0%

2★ 0%

1★ 0%

Product reviews

Name

Rating

Your review

No reviews yet — be the first!

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.