Runtime Verification
☆☆☆☆☆
(0 reviews)
Lowest price (incl. delivery)
8 036,00 JPY
Typical price8 007,00 PLN
Lowest (90 days)8 007,00 PLN
Offers1
Last updated1 day ago
| Seller | Product price | Delivery | Total | Availability | Updated | |
|---|---|---|---|---|---|---|
| SP Springer Nature Author | 8 007,00 JPY | 29,00 JPY | 8 036,00 JPY | Available | 1 day ago | View offer |
Prices and availability may change. Last Updated: 08.08.2026 23:17.
EAN
9783031442674
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 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3–6, 2023. The 13 full papers and 7 short papers presented in this book together with 4 tutorial papers and 2 invited papers were carefully reviewed and selected from 39 submissions. The RV conference is concerned with all aspects of novel lightweight formal methods to monitor, analyze, and guide the runtime behavior of software and hardware systems. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification.
Similar products
Gamma Knife Neurosurgery in the Management of Intracranial Disorders
from $210.78
SDGs in Construction Economics and Organization
from $210.78
Emerging Therapies in Neurorehabilitation III
from $210.78
Ground Improvement Techniques
from $220.36
Anomaly Detection in Video Surveillance
from $220.36
Mechanism and Machine Science
from $287.42
Protein-Protein Interactions as New Drug Targets
from $287.42
Proceedings of the 7th International Conference of Transportation Research Group of India (CTRG 2023
from $287.42