Pricelists.org Pricelists.org Autentificare Înregistrează-te

Verification, Model Checking, and Abstract Interpretation

☆☆☆☆☆ (0 reviews)
Show price history
Verification, Model Checking, and Abstract Interpretation
Lowest price (incl. delivery)
12 869,00 JPY
Typical price1 741,96 PLN
Lowest (90 days)36,88 PLN
Offers4
Last updated1 săptămână în urmă
See best offer
Price history (90 days)
Full history
2026-08-08 2026-08-15
Istoricul prețurilor
Actualizat laPreț
2026-08-0836,88
2026-08-1594,94
Vânzător Product price Delivery Total Disponibilitate Updated
SP SpringerNatureLink Shop INT 12 869,00 JPY free 12 869,00 JPY Disponibil 5 zile în urmă View offer
SP Springer Nature Author 12 869,00 JPY free 12 869,00 JPY Disponibil 1 săptămână în urmă View offer
SP SpringerNatureLink Shop INT 98,09 EUR free 98,09 EUR Disponibil 6 zile în urmă View offer
VI VitalSource 506,62 ZAR 15,00 ZAR 521,62 ZAR Disponibil 1 săptămână în urmă View offer

Prețurile și disponibilitatea se pot modifica. Ultima actualizare: 08.08.2026 06:09.

EAN 9783030945824
Springer Nature
0,0
☆☆☆☆☆
0 reviews
5★ 0%
4★ 0%
3★ 0%
2★ 0%
1★ 0%

Product reviews

Rating
No reviews yet — be the first!
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022. The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

Similar products