Computer Aided Verification
☆☆☆☆☆
(0 reviews)
Lowest price (incl. delivery)
66,19 EUR
Typical price44,34 PLN
Lowest (90 days)41,59 PLN
Offers2
Last updated6일 전
Price history (90 days)
Full history
2026-08-08
2026-08-14
| 업데이트 일시 | 가격 |
|---|---|
| 2026-08-08 | 42,19 |
| 2026-08-14 | 41,59 |
| 판매자 | Product price | Delivery | 합계 | 재고 여부 | Updated | |
|---|---|---|---|---|---|---|
| SP SpringerNatureLink Shop INT | 47,19 EUR | 19,00 EUR | 66,19 EUR | 구매 가능 | 3시간 전 | View offer |
| SP Springer Nature Author | 47,19 EUR | free | 47,19 EUR | 구매 가능 | 6일 전 | View offer |
가격과 재고 여부는 변경될 수 있습니다. 마지막 업데이트: 08.08.2026 09:13.
EAN
9783031656293
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 open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024. The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.