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
Practical Optimization
$79.99
Bones (Hardcover)
$18.74
Historical Climate Variability and Impacts in North America
$84.99
Hybrid Artificial Intelligent Systems
$39.99
Basic Radiotherapy Physics and Biology
$79.99
The Political Economy of Kidnapping and Insecurity in Nigeria
$109.00
Neurogenetics
$89.99
Strategies to Achieve a Binding International Agreement on Regulating Cartels
$109.99
Reduction of CO2 Emissions from Road Transport in Cities
$54.99
Physikalische Chemie in der Analytik
$29.99
Balneologie und medizinische Klimatologie
$44.99
Problemlsekompetenz von Schlerinnen und Schlern
$39.99
Human Trafficking and Security in Southern Africa
$109.99
Der Capability Approach und seine Anwendung
$59.99
Progress in Artificial Intelligence
$54.99
The World Views of the US Presidential Election
$54.99
Ready-To-Go 2 25 Book Classroom Library: Independent Reading, Grade 4
$145.00
Emil Artin and Helmut Hasse
$199.99
Hybridfahrzeuge
$74.99
Kryptowhrungen und geldwscherechtliche Regulierung
$17.99
The Challenges of Long Term Ecological Research: A Historical Analysis
$159.99
Pharmacokinetics in Drug Development
$219.99
Corporate Compliance on a Global Scale
$159.99
Advances in Knowledge Discovery and Data Mining
$99.99
Critical Race Theory: Black Athletic Sporting Experiences in the United States
$179.99
Introduction to the Theory and Application of Data Envelopment Analysis
$219.99
Theory and Applications of Gaussian Quadrature Methods
$19.99
Proceedings of the 3rd International Congress of Applied Chemistry & Environment (ICACE3)
$199.99
Postmodern Chick Flicks
$109.99
Bioimage Data Analysis Workflows
$59.99
Play Across Childhood
$159.99
Learning SD-WAN with Cisco
$69.99
Elatsoe
$7.46
The Elephant's New Shoe
$4.49
The Politics of the Body in Weimar Germany
$169.99
Trends in Computer Science, Engineering and Information Technology
$84.99
Die Wende als Individualisierungsschub?
$89.99
International Handbook of Adult Mortality
$299.00
Transgenic Models in Endocrinology
$129.00
Deep-Hole Drilling with Explosives
$54.99
