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

National Systems of Innovation

National Systems of Innovation

$109.99
Racism in and for the Welfare State

Racism in and for the Welfare State

$159.99
Vitreoretinal Surgery

Vitreoretinal Surgery

$219.00
Introduction to Machine Learning in the Cloud with Python

Introduction to Machine Learning in the Cloud with Python

$64.99
Internal Conflict and Governance

Internal Conflict and Governance

$84.99
The Evolution of Economic and Innovation Systems

The Evolution of Economic and Innovation Systems

$169.99
FLOMANIA - A European Initiative on Flow Physics Modelling

FLOMANIA - A European Initiative on Flow Physics Modelling

$219.99
PAS Proteins: Regulators and Sensors of Development and Physiology

PAS Proteins: Regulators and Sensors of Development and Physiology

$84.99
PV Technology and Manufacturing

PV Technology and Manufacturing

$129.99
Neurophysiology in Clinical Practice

Neurophysiology in Clinical Practice

$59.99
Physical Theory and its Interpretation

Physical Theory and its Interpretation

$84.99
Rckstellungsbilanzierung

Rckstellungsbilanzierung

$69.99
Margaret Fuller

Margaret Fuller

$24.99
Mass-Losing Pulsating Stars and their Circumstellar Matter

Mass-Losing Pulsating Stars and their Circumstellar Matter

$169.99
Atomic Force Microscopy/Scanning Tunneling Microscopy

Atomic Force Microscopy/Scanning Tunneling Microscopy

$129.00
Methods of Protein Separation

Methods of Protein Separation

$39.99
Couple Resilience

Couple Resilience

$109.99
Pascal Tools

Pascal Tools

$59.99
Grenzgtter der Moral

Grenzgtter der Moral

$44.99
The Resident's Guide to Shoulder and Elbow Surgery

The Resident's Guide to Shoulder and Elbow Surgery

$109.99
Autonomous driving algorithms and Its IC Design

Autonomous driving algorithms and Its IC Design

$69.99
Financial Deregulation

Financial Deregulation

$129.00
Die Multimedia-Familie

Die Multimedia-Familie

$59.99
The Chinese Road of the Rule of Law

The Chinese Road of the Rule of Law

$199.99
Von der Hauptschule in die Sekundarstufe II

Von der Hauptschule in die Sekundarstufe II

$64.99
Proceedings of the 2nd Annual International Conference on Material, Machines and Methods for Sustain

Proceedings of the 2nd Annual International Conference on Material, Machines and Methods for Sustain

$219.99
Bayesian Cost-Effectiveness Analysis with the R package BCEA

Bayesian Cost-Effectiveness Analysis with the R package BCEA

$84.99
Elektrochemisches Praktikum

Elektrochemisches Praktikum

$44.99
Proceedings of FORM 2021

Proceedings of FORM 2021

$249.99
Renewable Energy Transformation or Fossil Fuel Backlash

Renewable Energy Transformation or Fossil Fuel Backlash

$149.00
Der propriozeptive Tonusreflex des Froschherzens und seine Sensibilisierung durch Herzglykoside

Der propriozeptive Tonusreflex des Froschherzens und seine Sensibilisierung durch Herzglykoside

$54.99
Wireless Sensor Networks

Wireless Sensor Networks

$39.99
Empathy in Contemporary Poetry after Crisis

Empathy in Contemporary Poetry after Crisis

$64.99
Pierre Bayle

Pierre Bayle

$169.00
Ziele der Regionalpolitik

Ziele der Regionalpolitik

$59.99
Topics in Combinatorial Optimization

Topics in Combinatorial Optimization

$54.99
Microfluidics for Single-Cell Analysis

Microfluidics for Single-Cell Analysis

$109.99
Praxis der Dialyse

Praxis der Dialyse

$119.99
Formal Methods in Computer-Aided Design

Formal Methods in Computer-Aided Design

$39.99
Amazing Glaze

Amazing Glaze

$18.94
previous
next