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 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. The papers address a wide range of specification languages and formalisms for traces; specification mining; program instrumentation; monitor construction techniques; logging, recording, and replay; fault detection, localization, recovery, and repair; program steering and adaptation; as well as metrics and statistical information gathering; combination of static and dynamic analyses and program execution visualization.
Reviews
Questions & Answers
Modeling and Simulation of Social-Behavioral Phenomena in Creative Societies
$64.99
Druckgie-Technik
$49.99
Mathematische Begriffsbildung zwischen Implizitem und Explizitem
$89.99
Traumatic Disorders of the Knee
$219.99
Primary Sclerosing Cholangitis
$169.99
High-Pressure Shock Compression of Solids
$379.99
Digital Skills
$159.99
Arbeitsbuch zu Handelsbilanzen
$59.99
Endoscopic Submucosal Dissection
$119.99
Motivation durch Wissensintermediation
$74.99
Biology of Ovarian Follicles in Mammals
$84.99
Space Fostering African Societies
$109.99
Print in Transition
$109.99
Intelligent Human Computer Interaction
$109.99
Erfolgs- und Kapitalbeteiligung
$64.99
Recent Advances in Differential Equations and Applications
$109.99
Design of Thermal Barrier Coatings
$54.99
Group Processes
$129.99
Personal Satellite Services
$54.99
Gabler Lexikon Auslands Geschfte
$54.99
The Representation of REFUGEES and MIGRANTS in European National Media Discourses from 2015 to 2017
$119.99
Clinical Aspects of Interferons
$219.99
Polymer Latexes Epoxide Resins Polyampholytes
$39.99
Modelling and Simulation in Management
$169.99
Systematische Eignungsanalyse zum Einsatz additiver Fertigungsverfahren
$59.99
Concurrent Engineering
$219.99
Advances in Industrial and Production Engineering
$129.00
Atheism Considered
$44.99
Handbook of Essential Pharmacokinetics, Pharmacodynamics and Drug Metabolism for Industrial Scientis
$129.00
Die Nibelungenbrcke in Worms am Rhein
$59.99
Lerntest Chemie
$59.99
Sexy Bodies
$29.99
Das Centre National de la Recherche Scientifique / Organisation und Politik der wissenschaftlichen F
$59.99
Pro C# 7
$54.99
Model Driven Engineering Languages and Systems
$54.99
Energy Conversion and Particle Acceleration in the Solar Corona
$54.99
Vermgen und Mglichkeit
$69.99
Diachronic Change in the English Passive
$54.99
User Interface Design
$39.99
Impact of Littoral Environmental Variability on Acoustic Predictions and Sonar Performance
$39.99
