Copied Runtime Verification
Runtime Verification
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.
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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Emotionen und Fhrung
$74.99
Kompendium der Pharmakologie
$34.99
Politics in Software Development
$37.99
Workload Characterization for Computer System Design
$109.99
Rhetorik und Wahrheit
$34.99
Protecting the Gulf's Marine Ecosystems from Pollution
$109.99
Die Macht des Arguments
$34.99
Millimeter and Submillimeter Wave Spectroscopy of Solids
$39.99
A Survey of the Lepidoptera, Biogeograhy and Ecology of New Caledonia
$169.99
The Contemporary Writer and Their Suicide
$159.99
New Frontiers in Artificial Intelligence
$64.99
Computer Modelling in Atmospheric and Oceanic Sciences
$109.99
Diagnostic Dysmorphology
$219.99
Fall: Let's Pick Apples!
$3.71
Interference of Atomic States
$54.99
Militr, Islamismus und Demokratie in Algerien (1978 bis 1995)
$69.99
European Rural Landscapes
$219.99
Aesthetic Communication
$84.99
Nachhaltige Mobilitt in Europa
$69.95
Artificial Intelligence Applications and Innovations
$84.99
Business Engineering
$59.99
Key Qualifications in Work and Education
$84.99
Tales of Gotham, Historical Archaeology, Ethnohistory and Microhistory of New York City
$109.99
New Developments of Newton-Type Iterations for Solving Nonlinear Problems
$79.99
Reviews on Biomarker Studies in Psychiatric and Neurodegenerative Disorders
$129.00
Observational Constraints on the Influence of Active Galactic Nuclei on the Evolution of Galaxies
$109.99
Internationale Rechnungslegung und Internationales Controlling
$54.99
Widerstnde, Kondensatoren, Spulen und ihre Werkstoffe
$59.99
The Heat Kernel Lefschetz Fixed Point Formula for the Spin-c Dirac Operator
$39.99
Kontinuittsorientierte Koordination dynamischer Kooperationen
$79.99
Storage Ring-Based Inverse Compton X-ray Sources
$219.99
History and Politics of Well-Being in Europe
$54.99
User-friendly Legal Science
$99.00
Nuclear Oncology
$129.00
Flood Risk Management in Europe
$129.00
Principles of Molecular Rheumatology
$299.99
The Fiction of Josef kvoreck
$34.99
Injury and Causation in Trade Remedy Law
$179.99
Bone Prequel: Rose (Hardcover)
$20.24
Was viele Verkufer nicht zu fragen wagen
$39.99
