Runtime Verification
☆☆☆☆☆
(0 reviews)
Lowest price (incl. delivery)
42,01 AUD
Typical price1 618,03 PLN
Lowest (90 days)27,01 PLN
Offers3
Last updated19時間前
| 販売者 | Product price | Delivery | 合計 | 在庫状況 | Updated | |
|---|---|---|---|---|---|---|
| VI VitalSource | 27,01 AUD | 15,00 AUD | 42,01 AUD | 在庫あり | 1日前 | View offer |
| SP Springer Nature Author | 7 864,00 JPY | 15,00 JPY | 7 879,00 JPY | 在庫あり | 7時間前 | View offer |
| SP SpringerNatureLink Shop INT | 65,00 EUR | 15,00 EUR | 80,00 EUR | 在庫あり | 19時間前 | View offer |
価格や在庫状況は変更される場合があります。 最終更新: 08.08.2026 11:46.
EAN
9783031742330
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.