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