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 $49.50 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
|
|
$54.99 | $54.99 |
|
10% OFF
This deals requires coupon
|
$49.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019. The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess system correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Chapter Assumption-Based Runtime Verification with Partial Observability and Resets and chapter NuRV: a nuXmv Extension for Runtime Verification are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Reviews
Questions & Answers
Neural Principles in Vision
$84.99
Borderlands
$54.99
Praxis der Intensivmedizin
$89.00
Blockchain of Things and Deep Learning Applications in Construction
$199.99
Private Rental Housing in Transition Countries
$109.99
Error Prevention and Well-Being at Work in Western Europe and Russia
$109.99
Sustainable Energy Resources and Economics in Iceland and Greenland
$54.99
Formal and Analytic Solutions of Diff. Equations
$109.99
Die Beziehungen Zwischen Menstruation und Nerven- und Geisteskrankheiten auf Grund von Literatur und
$59.99
Lock-in Thermography
$84.99
Biosilica in Evolution, Morphogenesis, and Nanobiotechnology
$219.99
Proceedings of the 2nd International Conference on Structural Damage Modelling and Assessment
$249.99
Die Beeinflussung der Darmmotilitt durch Abfhr- und Stopfmittel
$44.99
Max Stirner
$109.99
VDI-Lexikon Informatik und Kommunikationstechnik
$79.99
Organization Design for International Construction Business
$129.00
Kindler Kompakt: sterreichische Literatur der Gegenwart
$19.99
Science for Agriculture and Rural Development in Low-income Countries
$109.99
Carlos Santana
$8.21
Vestiges of Colonial Empire in France
$109.99
Beitrge zur Frage der Stockwerk-Tektonik im Ruhrkohlengebiet IV
$49.99
Political Corruption and Organizational Crime
$79.99
Exports, Foreign Direct Investment and Economic Development in China
$109.99
Gender and Recovery from Coronary Artery Bypass Surgery
$39.99
Studies on Porous Monolithic Materials Prepared via SolGel Processes
$109.99
The Memory Phenomenon in Contemporary Historical Writing
$29.99
E-Conomics
$74.99
Die Prfung der Unternehmungen
$59.99
Cultural Heritage and Territorial Identity
$99.99
The Secular Landscape
$99.99
Advances in Cryptology CRYPTO 2017
$109.99
Strategic Innovative Marketing and Tourism in the COVID-19 Era
$149.00
Youth Literature for Peace Education
$39.99
Progress in the Chemistry of Organic Natural Products
$84.99
Bewitched and Bedeviled
$109.99
Challenges for Quality of Life in the Contemporary World
$169.99
Grundkurs Theoretische Physik 1 Klassische Mechanik
$54.99
The Strategy and Performance of British Industry, 197080
$39.99
Advances in CT II
$84.99
Theory and Applications of Gaussian Quadrature Methods
$19.99
