Verification, Model Checking, and Abstract Interpretation
☆☆☆☆☆
(0 reviews)
Lowest price (incl. delivery)
8 489,00 JPY
Typical price1 684,59 PLN
Lowest (90 days)60,98 PLN
Offers4
Last updated1주 전
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
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.
Similar products
50 Years of Philosophy and Medicine
from $107.30
Understanding Cybersecurity Law and Digital Privacy
from $122.63
Decisions in International Trade and Logistics
from $122.63
Advances in Economic Measurement
from $122.63
Nanomaterials
from $137.96
Sustainable Scaffolds-based Strategies in Tissue Engineering and Regenerative Medicine
from $162.87
Narratives in Educational Research
from $162.87
Environmental Biology of the Young Chinese Sturgeon
from $210.78