Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Runtime Verification
Best Price (Coupon Required):
Buy Runtime Verification for $54.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$59.99 | $59.99 |
|
10% OFF
This deals requires coupon
|
$54.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 36, 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.
Reviews
Questions & Answers
Global Capital, National State and the Politics of Money
$109.99
Reading Maimonides' Philosophy in 19th Century Germany
$129.00
Fault Diagnosis and Tolerance in Cryptography
$54.99
Horrible Harry and the Stolen Cookie
$3.71
Biomedical Applications Polymer Blends
$39.99
Feminist Activism and Digital Networks
$69.99
Vague Language Explored
$109.99
Stereo Operative Atlas of Micro Ear Surgery
$139.99
Bulgarian Studies in the Philosophy of Science
$109.99
Standard Model Measurements with the ATLAS Detector
$109.99
Trauma-Informed Approaches Among the Adult Drug Court Setting
$49.99
Studies in Social Philosophy
$109.99
Modern Antennas
$74.99
Law Enforcement and Technology
$39.99
Handbook of Materials Characterization
$249.99
Privacy Preservation in Distributed Systems
$169.99
George Herbert and the Mystery of the Word
$129.99
ATEXExplosive Atmospheres
$169.99
An Introduction to Modelling of Power System Components
$39.99
Human-Machine Interactive Systems
$54.99
Konzeption einer integrierten Beschaffungskontrolle
$59.99
Grundlagen der Finanzmathematik
$64.99
Genetic Approaches to Developmental Neurobiology
$54.99
Translating National Policy to Improve Environmental Conditions Impacting Public Health Through Comm
$109.99
Theorie zuflliger Prozesse
$54.99
Progress in Turbulence II
$169.99
Early Byzantine Churches in Macedonia & Southern Serbia
$69.99
Multi-Grid Methods and Applications
$199.99
Making Starships and Stargates
$39.99
The Truth about Fania Fnelon and the Womens Orchestra of Auschwitz-Birkenau
$79.99
Duck On a Tractor (Hardcover)
$14.24
Native American Heroes
$3.74
Mechanisms of Gene Regulation
$69.99
Clinical Health Psychology in Military and Veteran Settings
$79.99
Funktionsdiagnostik des linken Ventrikels mittels zweidimensionaler Echokardiographie
$69.99
Depth Perception in Frogs and Toads
$109.99
Robot Vision
$84.99
Observational Plasma Astrophysics: Five Years of Yohkoh and Beyond
$129.00
Perspectives on Fluorescence
$219.99
Dynamic Radiology of the Abdomen
$74.99
