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
The Literature of the Great War Reconsidered
$109.99
Incarceration and Generation, Volume I
$129.99
Secure Electronic Voting
$109.99
The Evolution of Public Pension Schemes
$109.99
Europische Union und Whrungsunion in der Dauerkrise I
$29.99
People and Computers XIV Usability or Else!
$109.99
Coxiella burnetii: Recent Advances and New Perspectives in Research of the Q Fever Bacterium
$169.00
Moderne und Gewalt
$59.99
The Design of a Practical Enterprise Safety Management System
$109.99
Unterirdische Kanalsanierung
$74.99
XV Mediterranean Conference on Medical and Biological Engineering and Computing MEDICON 2019
$219.99
Arbeitsbuch Mathematik fr Ingenieure, Band I
$49.99
Land Use in Advancing Agriculture
$109.99
Star Wars Vol. 6- Out Among the Stars by Jason Aaron
$19.99
Art of Coloring- Disney 100 Years of Wonder- 100 Images to Inspire Creativity by Staff of The Walt Disney Archives
$15.99
Von Naturwissenschaft zu Wirtschaft
$59.99
The Politics of Nature
$109.99
Intracellular Regulation of Ion Channels
$169.99
Handbuch der Physikalischen Maassbestimmungen
$59.99
Lung Cancer
$199.99
Explosives Detection
$169.99
Wrme- und Klteschutz in Wissenschaft und Praxis
$59.99
Narrative Brand Planning
$64.99
Studies in Memory of Issai Schur
$84.99
Subtropical Mountain Forests of Las Yungas: Vegetation and Bioclimate
$109.99
Network Pharmacology
$169.99
Berechnung des Eisenbetons gegen Verdrehung (Torsion) und Abscheren
$59.99
Properties and Applications of Amorphous Materials
$219.99
Tissue Engineering Methods and Protocols
$99.00
Kpfe der digitalen Finanzwelt
$39.99
Foundation of the Theory of Groupoids and Groups
$54.99
Topics in Igneous Petrology
$129.00
Radiumtherapie
$59.99
Studies in the Medieval Atlantic
$54.99
Cell Technology for Cell Products
$329.99
Parameterized and Exact Computation
$39.99
Quick Guide Glck im Arbeitsleben
$29.99
Linking Trade and Security
$109.99
Freiwilliges Engagement von Studierenden
$59.99
Zerstubungstechnik
$89.00
