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 $36.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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017. The 18 revised full papers presented together with 3 invited presentations, 4 short papers, 5 tool papers, and 3 tutorials, were carefully reviewed and selected from 58 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 correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.
Reviews
Questions & Answers
Biomedical Engineering Systems and Technologies
$84.99
Proceedings of International Symposium on the Qinghai-Xizang Plateau and Mountain Meteorology
$49.99
The Role of Microenvironment in the Control of Tumor Angiogenesis
$109.99
Strange Birds
$7.46
Visualizing Marketing
$129.00
Scholastic Reader! Level 1-Noodles: I Love School!
$2.99
New Trends in Magnetism, Magnetic Materials, and Their Applications
$169.00
Knowledge Production in Organizations
$109.99
Experimental Philosophy for Beginners
$79.99
Der Einfluss unbekannter Werbegesichter auf die Wahrnehmung der Markenpersnlichkeit
$49.99
Tapetenwechsel fr die Seele
$14.99
HCI International 2024 Posters
$99.99
Algebraic and Logic Programming
$39.99
Ethics of Socioeconomics
$59.99
Kants Theory of Knowledge
$54.99
The Molecular Genetics of Lung Cancer
$169.99
Ownership of the Human Body
$169.99
Matheus Millers Memoir
$84.99
Deviations Techniques and Applications
$54.99
Besser leben mehr erreichen!
$59.99
Academic Inbreeding and Mobility in Higher Education
$54.99
Latin America and the New International Economic Order
$44.99
Poisson Structures
$159.99
Tetsugaku Companion to Ueda Shizuteru
$129.99
Aufwertung und Identitt im transkulturellen Raum
$29.99
Medikamentse Tumortherapie in der Uroonkologie
$54.99
An Integrated Solution Based Irregular Driving Detection
$109.99
Paraoxonase (PON1) in Health and Disease
$84.99
Biomarkers in Psychiatry
$149.00
Challenging Problems and Solutions in Intelligent Systems
$84.99
The Origin of Economic Ideas
$54.99
Turbulent Motion and the Structure of Chaos
$169.00
Quantum Mechanics for Pedestrians 1
$69.99
Aktenstcke zur Frage der Gotthardbahn
$39.99
Cooperative Computer-Aided Authoring and Learning
$219.99
Dual-Fuel Gas-Steam Power Block Analysis
$109.99
Beruf und Familie bei Medizinerinnen und Medizinern
$27.99
Brain and Health Informatics
$54.99
Platelet Rich Plasma in Orthopaedics and Sports Medicine
$169.99
Formal Methods for Open Object-Based Distributed Systems
$54.99
