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 thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012. The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 50 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, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.
Reviews
Questions & Answers
Ways of Living
$54.99
Lecithin
$39.99
Recovery of Gray Wolves in the Great Lakes Region of the United States
$109.99
Quantum Interaction
$54.99
Integrated Computer-Aided Design in Automotive Development
$89.00
Advances in Image and Video Technology
$39.99
Practice and Realization
$109.99
Computer Safety, Reliability and Security
$39.99
Conflict and Governance
$54.99
Proceedings of the 7th Indian Young Geotechnical Engineers Conference
$189.00
Silent Myocardial Ischemia
$129.00
Hitlers Parkinson-Krankheit
$59.99
Experimente im Chemieunterricht Band 2
$59.99
Central Banks and Coded Language
$39.99
Universittskolloquien zur Schizophrenie
$39.99
Numerical Modelling and Experimental Testing of Heat Exchangers
$169.99
Von der Grndung bis zur Insolvenz Erfahrungen von Start-Up-Unternehmen
$64.99
Terahertz Spectroscopy and Imaging
$229.00
Schner fremder Klang Wie exotische Musik nach Deutschland kam
$34.99
Automatic Syntactic Analysis Based on Selectional Preferences
$84.99
Polarimetric Microwave Imaging
$199.99
Culinary Herbs: Grow. Preserve. Cook! by Yvonne Tremblay
$34.95
Medikamentse Tumortherapie in der Dermato-Onkologie
$59.99
Clinical Information Systems
$59.99
Task-Based Language Teaching and Assessment
$169.99
Hegel and Schelling in Early Nineteenth-Century France
$119.99
Trachten der Schweiz
$74.99
Legacy Data: A Structured Methodology for Device Migration in DSM Technology
$84.99
Geometric Representation Theory and Gauge Theory
$54.99
Conference on the Numerical Solution of Differential Equations
$34.99
Non-commuting Variations in Mathematics and Physics
$129.99
Smart Internet of Things for Environment and Healthcare
$219.99
Topics in Engineering Meteorology
$36.00
AdvancED ActionScript 3.0 Animation
$29.99
Manufacturing Engineering
$169.99
A Global History of the Cold War, 1945-1991
$32.99
Recent Developments in Spatial Analysis
$169.99
The Psychology of Evolving Technology
$59.99
An Introduction to Medical Teaching
$54.99
Subnational Authorities and the European Union
$119.99
