Runtime Verification
☆☆☆☆☆
(0 reviews)
Lowest price (incl. delivery)
81,50 EUR
Typical price47,85 PLN
Lowest (90 days)47,07 PLN
Offers2
Last updated4 天前
| 卖家 | Product price | Delivery | 总计 | 可用性 | Updated | |
|---|---|---|---|---|---|---|
| SP SpringerNatureLink Shop INT | 52,50 EUR | 29,00 EUR | 81,50 EUR | 可购买 | 4 天前 | View offer |
| SP Springer Nature Author | 52,50 EUR | 25,00 EUR | 77,50 EUR | 可购买 | 4 天前 | View offer |
价格和库存可能会有变动。 最后更新: 08.08.2026 10:05.
EAN
9783031742347
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 refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024. The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; Temporal Logics; Speci cation and Visualization; Deep Neural Networks; and Distributed Systems.
Similar products
Patient Safety Coaching
from $91.97
Ethnography and Diversity
from $69.30
Smart Villages
from $91.97
Nuclear Non-Proliferation in International Law - Volume VI
from $91.97
The Price of Freedom
from $91.97
Eco-Social Policy in the OECD and the World Bank
from $91.97
Special Topics in Policing
from $122.58
Music from the Heart
from $91.97