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

This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017. The 18 revised full papers presented together with 3 invited presentations, 4 short papers, 5 tool papers, and 3 tutorials, were carefully reviewed and selected from 58 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Faith from a Positive Psychology Perspective

Faith from a Positive Psychology Perspective

$54.99
Technological and Medical Implications of Metabolic Control Analysis

Technological and Medical Implications of Metabolic Control Analysis

$109.99
Fleet Telematics

Fleet Telematics

$169.99
Tissue Culture in Forestry and Agriculture

Tissue Culture in Forestry and Agriculture

$169.00
Single Organic Nanoparticles

Single Organic Nanoparticles

$39.99
International Fragmentation

International Fragmentation

$54.99
Knowledge Entanglements

Knowledge Entanglements

$54.99
Energy Security in the Eastern Mediterranean Region

Energy Security in the Eastern Mediterranean Region

$109.99
Protecting Chips Against Hold Time Violations Due to Variability

Protecting Chips Against Hold Time Violations Due to Variability

$109.99
After Effects Most Wanted

After Effects Most Wanted

$54.99
Re-imagining Educational Futures in Developing Countries

Re-imagining Educational Futures in Developing Countries

$89.99
Progress in Cryptology  AFRICACRYPT 2018

Progress in Cryptology AFRICACRYPT 2018

$64.99
William Dawes

William Dawes

$79.99
Genetic Engineering

Genetic Engineering

$129.00
Updates on Myopia

Updates on Myopia

$59.99
Aktueller Stand der Thrombolysetherapie

Aktueller Stand der Thrombolysetherapie

$69.99
Fuzzy Recurrence Plots and Networks with Applications in Biomedicine

Fuzzy Recurrence Plots and Networks with Applications in Biomedicine

$79.99
The Very Old Critically Ill Patients

The Very Old Critically Ill Patients

$109.99
The Barnard Objects: Then and Now

The Barnard Objects: Then and Now

$44.99
Der Herzmuskel und seine Bedeutung fr Physiologie, Pathologie und Klinik des Herzens

Der Herzmuskel und seine Bedeutung fr Physiologie, Pathologie und Klinik des Herzens

$59.99
Der Dreher als Rechner

Der Dreher als Rechner

$44.99
Lean Six Sigma

Lean Six Sigma

$89.99
Der Produktionsbetrieb 2

Der Produktionsbetrieb 2

$49.99
Vascular Pattern in Embryos with Clefts of Primary and Secondary Palate

Vascular Pattern in Embryos with Clefts of Primary and Secondary Palate

$109.99
Case-based Approach to Common Neurological Disorders

Case-based Approach to Common Neurological Disorders

$119.99
Electromagnetic Field Theory

Electromagnetic Field Theory

$44.99
Strukturgelenkte Grenzflchenvorgnge in der unbelebten und belebten Natur

Strukturgelenkte Grenzflchenvorgnge in der unbelebten und belebten Natur

$59.99
Postcolonial Philosophy of Religion

Postcolonial Philosophy of Religion

$169.99
Political Spirituality for a Century of Water Wars

Political Spirituality for a Century of Water Wars

$109.99
Apoptosis and Inflammation

Apoptosis and Inflammation

$219.99
Dynamic Modeling, Predictive Control and Performance Monitoring

Dynamic Modeling, Predictive Control and Performance Monitoring

$84.99
Up in the Garden and Down in the Dirt

Up in the Garden and Down in the Dirt

$5.96
Methodical Development of Modular Product Families

Methodical Development of Modular Product Families

$169.99
Membrane Computing

Membrane Computing

$39.99
Globalization and Democracy in Southeast Asia

Globalization and Democracy in Southeast Asia

$109.99
Quantitative Physiology

Quantitative Physiology

$189.00
Methoden der Zeitreihenanalyse

Methoden der Zeitreihenanalyse

$39.99
The Management of Mass Burn Casualties and Fire Disasters

The Management of Mass Burn Casualties and Fire Disasters

$169.00
Corpora and Translation Education

Corpora and Translation Education

$159.99
Positive Psychology as Social Change

Positive Psychology as Social Change

$129.00
previous
next