Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

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.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

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
@ Link.springer.com
$39.99 $39.99

10% OFF
This deals requires coupon
$36.00
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642407871
Condition
New
Product Description

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.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Patenting of Human Genes and Living Organisms

Patenting of Human Genes and Living Organisms

$109.99
Stresses in Shells

Stresses in Shells

$74.99
Sociology and the World's Religions

Sociology and the World's Religions

$109.99
Lectins

Lectins

$109.99
Transformationsvorhaben mit dem Enterprise Transformation Cycle meistern

Transformationsvorhaben mit dem Enterprise Transformation Cycle meistern

$74.99
Dienstleistung und Produktion

Dienstleistung und Produktion

$29.99
Frameworks for Modeling Cognition and Decisions in Institutional Environments

Frameworks for Modeling Cognition and Decisions in Institutional Environments

$39.99
Undividing Digital Divide

Undividing Digital Divide

$39.99
Islam, Islamismus und Geschlecht in der Trkei

Islam, Islamismus und Geschlecht in der Trkei

$39.99
Nanotechnology, Governance, and Knowledge Networks in the Global South

Nanotechnology, Governance, and Knowledge Networks in the Global South

$54.99
Mathematical Reflections

Mathematical Reflections

$39.99
Anticoagulant Rodenticides and Wildlife

Anticoagulant Rodenticides and Wildlife

$219.99
Noninvasive Assessment of Trabecular Bone Architecture and The Competence of Bone

Noninvasive Assessment of Trabecular Bone Architecture and The Competence of Bone

$199.99
Kognitive Psychologie

Kognitive Psychologie

$34.99
Cold-adapted Yeasts

Cold-adapted Yeasts

$169.99
Wertpapierleihe und Repos

Wertpapierleihe und Repos

$19.99
Global Perspectives on Boarding Schools in the Nineteenth and Twentieth Centuries

Global Perspectives on Boarding Schools in the Nineteenth and Twentieth Centuries

$159.99
Superwahljahr 2009

Superwahljahr 2009

$64.99
Neurological Differential Diagnosis

Neurological Differential Diagnosis

$159.99
Interaction of Shock Waves

Interaction of Shock Waves

$129.00
Groups of Homotopy Classes

Groups of Homotopy Classes

$39.99
Laser-Induced Processes in Molecules

Laser-Induced Processes in Molecules

$109.99
Mehr Kunden fr Kleinunternehmen und Solopreneure

Mehr Kunden fr Kleinunternehmen und Solopreneure

$39.99
Nitrogen-fixing Actinorhizal Symbioses

Nitrogen-fixing Actinorhizal Symbioses

$129.00
Retinale Geferkrankungen

Retinale Geferkrankungen

$139.00
Sprachliche Praxis lebensweltlich mehrsprachiger Jugendlicher

Sprachliche Praxis lebensweltlich mehrsprachiger Jugendlicher

$59.99
Colors

Colors

$4.46
GRAIL: Mapping the Moon's Interior

GRAIL: Mapping the Moon's Interior

$84.99
Progress In Decision, Utility And Risk Theory

Progress In Decision, Utility And Risk Theory

$219.99
Pro Grunt.js

Pro Grunt.js

$29.99
The Body of Nature and Culture

The Body of Nature and Culture

$54.99
DIFFRACTION 2002: Interpretation of the New Diffractive Phenomena in Quantum Chromodynamics and in t

DIFFRACTION 2002: Interpretation of the New Diffractive Phenomena in Quantum Chromodynamics and in t

$109.99
Space and Quantification in Languages of China

Space and Quantification in Languages of China

$109.99
Philosophisches Wrterbuch

Philosophisches Wrterbuch

$59.99
Steroid and Sterol Hormone Action

Steroid and Sterol Hormone Action

$169.00
Die Preuischen Apothekengesetze

Die Preuischen Apothekengesetze

$44.99
Insecure Masculinity

Insecure Masculinity

$84.99
Springer Handbook of Inorganic Photochemistry

Springer Handbook of Inorganic Photochemistry

$399.99
The Combinatory Systems Theory

The Combinatory Systems Theory

$109.99
Classification and Approximation of Periodic Functions

Classification and Approximation of Periodic Functions

$109.99
previous
next