Breaking News!
Up to 30% Off Nike Footwear

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
9783642356315
Condition
New
Product Description

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.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Advances in Physiological Research

Advances in Physiological Research

$54.99
Glasfasern

Glasfasern

$89.99
Advances in Solid State Physics 37

Advances in Solid State Physics 37

$89.00
Acetabular Revision Surgery in Major Bone Defects

Acetabular Revision Surgery in Major Bone Defects

$84.99
Social Responsibility and Sustainability

Social Responsibility and Sustainability

$169.99
Lectures on Probability Theory and Statistics

Lectures on Probability Theory and Statistics

$54.99
Transcriptome Analysis

Transcriptome Analysis

$19.99
Angewandte Data Science

Angewandte Data Science

$37.99
Fundamentals of Thermodynamics and Applications

Fundamentals of Thermodynamics and Applications

$169.99
Multikulturelle Demokratien im Vergleich

Multikulturelle Demokratien im Vergleich

$64.99
Beginning GIMP

Beginning GIMP

$59.99
Wedding Readings and Poems by Becky Brown

Wedding Readings and Poems by Becky Brown

$14.99
Advances in Light Water Reactor Technologies

Advances in Light Water Reactor Technologies

$129.00
Green Internet of Things (IoT): Energy Efficiency Perspective

Green Internet of Things (IoT): Energy Efficiency Perspective

$129.00
Coronary Artery Graft Disease

Coronary Artery Graft Disease

$84.99
Health Assets in a Global Context

Health Assets in a Global Context

$169.99
Demystifying OWL for the Enterprise

Demystifying OWL for the Enterprise

$54.99
Computational Flight Testing

Computational Flight Testing

$169.99
Antidepressants

Antidepressants

$169.99
Maschinenliebe

Maschinenliebe

$54.99
Basiswissen Energieinformatik

Basiswissen Energieinformatik

$29.99
Shape Memory Microactuators

Shape Memory Microactuators

$169.99
Gendering the International

Gendering the International

$54.99
Nichthrtbare Kunststoffe (Thermoplaste)

Nichthrtbare Kunststoffe (Thermoplaste)

$44.99
Real and Complex Analysis

Real and Complex Analysis

$84.99
Advanced Methods of Solid Oxide Fuel Cell Modeling

Advanced Methods of Solid Oxide Fuel Cell Modeling

$84.99
Marijuana and Cannabinoid Research

Marijuana and Cannabinoid Research

$129.00
Heterotrophic Activity in the Sea

Heterotrophic Activity in the Sea

$39.99
Urban Ethics in the Anthropocene

Urban Ethics in the Anthropocene

$139.99
A Beta-return Efficient Portfolio Optimisation Following the CAPM

A Beta-return Efficient Portfolio Optimisation Following the CAPM

$39.99
Arabidopsis BUPS-ANX Receptor Complex Coordinates with RALF Peptides to Regulate Pollen Tube Integri

Arabidopsis BUPS-ANX Receptor Complex Coordinates with RALF Peptides to Regulate Pollen Tube Integri

$84.99
Polymer Blends and Mixtures

Polymer Blends and Mixtures

$39.99
CICS

CICS

$84.99
The Language of Evaluation

The Language of Evaluation

$159.99
Werner Heisenberg, Ordnung der Wirklichkeit

Werner Heisenberg, Ordnung der Wirklichkeit

$34.99
Microsoft Dynamics 365 for Finance and Operations, Enterprise Edition

Microsoft Dynamics 365 for Finance and Operations, Enterprise Edition

$59.99
Rehabilitation bei Sehbehinderung und Blindheit

Rehabilitation bei Sehbehinderung und Blindheit

$99.99
Mathematical Modeling and Optimization of Complex Structures

Mathematical Modeling and Optimization of Complex Structures

$109.99
Innovative Pharmakommunikation im Internet-Zeitalter

Innovative Pharmakommunikation im Internet-Zeitalter

$74.99
Innovation in Medicine and Healthcare 2015

Innovation in Medicine and Healthcare 2015

$219.99
previous
next