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:
Buy Runtime Verification for $59.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$59.99 | 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
Stable Mutations for Evolutionary Algorithms
$109.99
Auf der Fhrte von C#
$44.99
Fundamental Problems of Mesoscopic Physics
$259.00
Nonsmooth Impact Mechanics
$74.99
Die zweitbeste Wirtschaft
$44.99
Vorrichtungen im Maschinenbau nebst Anwendungsbeispielen
$59.99
Applications of Nonlinear Dynamics
$169.99
Intelligent Tutoring Systems
$109.99
Erdbebenverhalten von Balkenbrcken mit fester Lagerung in Lngsrichtung
$49.99
Das Burnout-Syndrom
$39.99
Direction of Time
$54.99
Amtshaftung im Kartellrecht
$74.99
The Palgrave Handbook of Managing Fossil Fuels and Energy Transitions
$149.00
Fascists and Honourable Men
$54.99
Stadtgeschichten - Soziales Dortmund im Spiegel von Biografien
$44.99
Machine Learning Approaches to Non-Intrusive Load Monitoring
$54.99
Einfhrung in die Deskriptive Statistik
$39.95
Flexible Approaches in Data, Information and Knowledge Management
$109.99
Data-Centric Business and Applications
$219.99
Antianginal Drugs
$84.99
Narrative and Truth
$39.99
Variable Refrigerant Flow Systems
$139.00
Environmental Bioengineering
$169.00
Commentary on the Principles of Thermodynamics by Pierre Duhem
$109.99
Risikomanagement bei Public Private Partnerships
$59.99
Facets of Combinatorial Optimization
$109.99
Numerical Geology
$39.99
Formalizing Medieval Logical Theories
$129.00
Erblichkeit der Intelligenz
$17.99
Architectural Tourism
$39.99
Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems
$109.99
Nostalgia, Loss and Creativity in South-East Europe
$119.99
Well-Quasi Orders in Computation, Logic, Language and Reasoning
$199.99
Iterated Maps on the Interval as Dynamical Systems
$39.99
Mode 3 Knowledge Production in Quadruple Helix Innovation Systems
$54.99
When Money Changes Society
$54.99
Design of Solid-State Power Supplies
$219.99
Mennonite Community Cookbook: Favorite Family Recipes by Mary Emma Showalter
$28.99
Nordic Perspectives on the Responsible Development of the Arctic: Pathways to Action
$129.00
Modelling and Simulation for Autonomous Systems
$54.99
