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

This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers presented together with 2 tool papers, and 8short papers were carefully reviewed and selected from 70 submissions. The scope of the conference was on following topics: monitoring and trace slicing, runtime verification of distributed and concurrent systems, runtime Verification of real-time and embedded systems, testing and bug finding, and inference and learning.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Social Fragmentation and the Decline of American Democracy

Social Fragmentation and the Decline of American Democracy

$109.99
High Density Lipoproteins

High Density Lipoproteins

$59.99
Herausforderungen im Nachhaltigkeitsmanagement

Herausforderungen im Nachhaltigkeitsmanagement

$69.99
The WordNet in Indian Languages

The WordNet in Indian Languages

$109.99
Renal Transport of Organic Substances

Renal Transport of Organic Substances

$84.99
Psychiatrische Genetik

Psychiatrische Genetik

$64.99
Combination Therapy of AIDS

Combination Therapy of AIDS

$169.99
Quantum Computing: A Shift from Bits to Qubits

Quantum Computing: A Shift from Bits to Qubits

$149.00
Applied Chemical Engineering Thermodynamics

Applied Chemical Engineering Thermodynamics

$109.99
Analytische Verfahren

Analytische Verfahren

$54.99
Mastering Uncertainty in Mechanical Engineering

Mastering Uncertainty in Mechanical Engineering

$59.99
Fatigue

Fatigue

$169.00
Biomedical Visualisation

Biomedical Visualisation

$169.99
Politik und konomie  autonome Handlungsmglichkeiten des politischen Systems

Politik und konomie autonome Handlungsmglichkeiten des politischen Systems

$69.99
Tensor Voting

Tensor Voting

$29.99
Immunobiology of Proteins and Peptides V

Immunobiology of Proteins and Peptides V

$84.99
Organisationstheorie und Informationstechnologie

Organisationstheorie und Informationstechnologie

$59.99
The Presidentialization of Political Parties

The Presidentialization of Political Parties

$89.00
Reconfigurable Field Programmable Gate Arrays for Mission-Critical Applications

Reconfigurable Field Programmable Gate Arrays for Mission-Critical Applications

$169.99
Therapy of Feto-Placental Insufficiency

Therapy of Feto-Placental Insufficiency

$84.99
Das Lehrlingswesen der preuisch-hessischen Staatseisenbahnverwaltung unter Bercksichtigung der Leh

Das Lehrlingswesen der preuisch-hessischen Staatseisenbahnverwaltung unter Bercksichtigung der Leh

$59.99
Proceedings of I4SDG Workshop 2021

Proceedings of I4SDG Workshop 2021

$189.00
Cytogenetics of the Festuca-Lolium Complex

Cytogenetics of the Festuca-Lolium Complex

$84.99
Softwaresysteme und ihre Modellierung

Softwaresysteme und ihre Modellierung

$39.99
Z User Workshop

Z User Workshop

$54.99
Experimental Innovations in Surface Science

Experimental Innovations in Surface Science

$229.00
Im Fokus: Strategien der Evolution

Im Fokus: Strategien der Evolution

$29.95
Alkaline-Earth Metal Compounds

Alkaline-Earth Metal Compounds

$219.99
Subspace Methods for System Identification

Subspace Methods for System Identification

$169.99
The Grammar of Technology Development

The Grammar of Technology Development

$169.99
Operator-Valued Measures and Integrals for Cone-Valued Functions

Operator-Valued Measures and Integrals for Cone-Valued Functions

$39.99
Ecological and Environmental Science & Technology in China: A Roadmap to 2050

Ecological and Environmental Science & Technology in China: A Roadmap to 2050

$54.99
Laser Capture Microdissection

Laser Capture Microdissection

$99.00
Coding Theory and Applications

Coding Theory and Applications

$39.99
E-Portfolios in Higher Education

E-Portfolios in Higher Education

$139.99
Growth Hormone II

Growth Hormone II

$84.99
Advanced Packaging and Manufacturing Technology Based on Adhesion Engineering

Advanced Packaging and Manufacturing Technology Based on Adhesion Engineering

$159.99
Das neue Hardselling

Das neue Hardselling

$44.99
Surface and Interface Characterization by Electron Optical Methods

Surface and Interface Characterization by Electron Optical Methods

$39.99
Case Studes in Medicine for the Elderly

Case Studes in Medicine for the Elderly

$109.99
previous
next