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 $39.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
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic. The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial papers, 6 tool papers, and a benchmark paper. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. The papers are organized in the following topical sections: runtime verification for autonomy; runtime verification for software; runtime verification with temporal logic specifications; stream-based monitoring; and runtime verification for cyber-physical systems.
Reviews
Questions & Answers
Emerging Battery Technologies to Boost the Clean Energy Transition
$59.99
Generalized Collocation Methods
$54.99
State and Corporate Management of Regions Development in the Conditions of the Digital Economy
$84.99
Data Driven Approach Towards Disruptive Technologies
$329.99
Fluvial Hydrodynamics - Solutions Manual
$74.99
Bildung und Wettbewerbsfhigkeit
$59.99
Rehabilitative Surgery
$159.99
Elektronik
$59.99
International Economic Association Monopoly and Competition Regulation
$84.99
Hasse-Schmidt Derivations on Grassmann Algebras
$129.99
Jugendliche + Erwachsene 85: Generationen im Vergleich
$59.99
The Chemical Equilibrium of Gaseous Systems
$109.99
Proceedings of the 11th International Conference on Industrial Engineering and Applications
$249.99
Basic and Clinical Aspects of Growth Hormone
$54.99
Wirkung von Private Label Brands auf Retailer Brands
$49.99
Orthodox Christian Renewal Movements in Eastern Europe
$159.99
The Indian Yearbook of Comparative Law 2019
$169.99
Elemente der angewandten Elektronik
$34.99
HCI International 2023 Late Breaking Papers
$79.99
Smart Road Infrastructure: Ideas, Innovations and Emerging Technologies
$149.99
Advances in Network Science
$39.99
Dynamics of Asymmetric Dissipative Systems
$159.99
Highlights of Astronomy
$39.99
Transcendence and Hermeneutics
$109.99
The Giant Liver Fluke, Fascioloides magna: Past, Present and Future Research
$54.99
Carcinomas of the Head and Neck
$169.99
Computer und Partizipation
$69.99
Guide to Biomolecular Simulations
$109.00
A Comparative Study of Very Data Bases
$9.99
Fundamental Problematic Issues in Turbulence
$169.99
Graded Syzygies
$159.99
FBL Klein-Vogelbach Functional Kinetics praktisch angewandt
$39.99
Lebensversicherung
$44.99
Discourses, Agency and Identity in Malaysia
$129.00
Strategic Management and Public Service Performance
$109.99
EDV-orientierte Betriebswirtschaftslehre
$29.99
Transport, Land-Use and the Environment
$169.99
Many-body Approaches at Different Scales
$109.99
Science of Microscopy
$429.00
After the Nation?
$54.99
