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 updated1 สัปดาห์ที่แล้ว

See best offer

Price history (90 days)

Full history

2026-08-08 2026-08-15

ประวัติราคา
อัปเดตเมื่อ	ราคา
2026-08-08	60,98
2026-08-15	60,98

ผู้ขาย	Product price	Delivery	รวม	ความพร้อมจำหน่าย	Updated
SP SpringerNatureLink Shop INT	8 464,00 JPY	25,00 JPY	8 489,00 JPY	มีจำหน่าย	6 วันที่แล้ว	View offer
SP Springer Nature Author	8 464,00 JPY	15,00 JPY	8 479,00 JPY	มีจำหน่าย	1 สัปดาห์ที่แล้ว	View offer
SP SpringerNatureLink Shop INT	60,98 USD	25,00 USD	85,98 USD	มีจำหน่าย	6 วันที่แล้ว	View offer
SP SpringerNatureLink Shop INT	70,00 EUR	free	70,00 EUR	มีจำหน่าย	6 วันที่แล้ว	View offer

ราคาและความพร้อมจำหน่ายอาจมีการเปลี่ยนแปลง อัปเดตล่าสุด: 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.