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

Blaschke Products and Their Applications

Blaschke Products and Their Applications

$109.99
On the Device-Independent Approach to Quantum Physics

On the Device-Independent Approach to Quantum Physics

$109.99
Die Zukunft des Autohandels

Die Zukunft des Autohandels

$64.99
Molecular Diversity and PCR-detection of Toxigenic Fusarium Species and Ochratoxigenic Fungi

Molecular Diversity and PCR-detection of Toxigenic Fusarium Species and Ochratoxigenic Fungi

$109.99
Artificial Economics

Artificial Economics

$109.99
Technische Untersttzungssysteme

Technische Untersttzungssysteme

$59.99
This Silence Must Now Speak

This Silence Must Now Speak

$84.99
Proceedings of the 1997 World Marketing Congress

Proceedings of the 1997 World Marketing Congress

$169.99
The US Housing Crisis

The US Housing Crisis

$179.99
World Views and the Problem of Synthesis

World Views and the Problem of Synthesis

$129.00
From Computer Literacy to Informatics Fundamentals

From Computer Literacy to Informatics Fundamentals

$54.99
Many-Electron Approaches in Physics, Chemistry and Mathematics

Many-Electron Approaches in Physics, Chemistry and Mathematics

$54.99
Frontiers of Ferroelectricity

Frontiers of Ferroelectricity

$169.99
Urban Sediment Removal

Urban Sediment Removal

$109.99
Bright Star: An Acorn Book (The Adventure Friends #3)

Bright Star: An Acorn Book (The Adventure Friends #3)

$4.49
Japan's Financial Slump

Japan's Financial Slump

$39.99
Molecular Mechanisms of Spondyloarthropathies

Molecular Mechanisms of Spondyloarthropathies

$169.00
Finanzkrise, Managementpflichten und Wirtschaftsprfung

Finanzkrise, Managementpflichten und Wirtschaftsprfung

$59.99
Zur Gestaltpsychologie menschlicher Werte

Zur Gestaltpsychologie menschlicher Werte

$64.99
Non-smooth Problems in Vehicle Systems Dynamics

Non-smooth Problems in Vehicle Systems Dynamics

$219.99
Electoral Pledges in Britain Since 1918

Electoral Pledges in Britain Since 1918

$159.99
The Construction of English

The Construction of English

$119.99
Protein Homology Detection Through Alignment of Markov Random Fields

Protein Homology Detection Through Alignment of Markov Random Fields

$54.99
Freedom, Power and Political Morality

Freedom, Power and Political Morality

$109.99
Mega Transport Infrastructure Planning

Mega Transport Infrastructure Planning

$109.99
Social Responses to Technical Systems

Social Responses to Technical Systems

$129.00
How Do Dinosaurs Say I'm Mad!

How Do Dinosaurs Say I'm Mad!

$5.96
References no. 2480  3686 / ACE-ZYA

References no. 2480 3686 / ACE-ZYA

$54.99
How the Troubles Came to Northern Ireland

How the Troubles Came to Northern Ireland

$84.99
Air Pollution Control Engineering

Air Pollution Control Engineering

$329.99
Knstliche Intelligenz

Knstliche Intelligenz

$69.99
Women, Migration and Gendered Experiences

Women, Migration and Gendered Experiences

$59.99
Computer Algebra

Computer Algebra

$59.99
Uniting Electron Crystallography and Powder Diffraction

Uniting Electron Crystallography and Powder Diffraction

$249.99
Electron Microscopic Atlas of Lymph Node Cytology and Pathology

Electron Microscopic Atlas of Lymph Node Cytology and Pathology

$54.99
Optimization and Security Challenges in Smart Power Grids

Optimization and Security Challenges in Smart Power Grids

$109.99
The Chemical Physics of Surfaces

The Chemical Physics of Surfaces

$169.99
Data Structure Programming

Data Structure Programming

$54.99
Konstitutionsserologie und Blutgruppenforschung

Konstitutionsserologie und Blutgruppenforschung

$59.99
Breast Cancer: Scientific and Clinical Progress

Breast Cancer: Scientific and Clinical Progress

$169.00
previous
next