Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Runtime Verification

Best Price (Coupon Required):
Buy Runtime Verification for $54.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: $59.99 - $59.99
BEST PRICE

Single Product Purchase

$54.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
$59.99 $59.99

10% OFF
This deals requires coupon
$54.00
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783031171956
Condition
New
Product Description

This book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verification, RV 2022, held in Tbilisi, Georgia, during September 28-30, 2022. The 12 regular papers and 10 short papers presented in this book were carefully reviewed and selected from 40 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 crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing, and are generally 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

Feminine Journeys of the Mahabharata

Feminine Journeys of the Mahabharata

$99.00
Applications of Artificial Intelligence and Neural Systems to Data Science

Applications of Artificial Intelligence and Neural Systems to Data Science

$199.99
The Institutions of Comecon

The Institutions of Comecon

$44.99
Methods and Biostatistics in Oncology

Methods and Biostatistics in Oncology

$159.99
Brgerschaftliches Engagement

Brgerschaftliches Engagement

$64.99
Ring Theory

Ring Theory

$79.99
Scientific Scholarly Communication

Scientific Scholarly Communication

$64.99
High Performance Computing

High Performance Computing

$54.99
Overlap Determinant Method in the Theory of Pericyclic Reactions

Overlap Determinant Method in the Theory of Pericyclic Reactions

$109.99
Moderne Algebraische Geometrie

Moderne Algebraische Geometrie

$69.95
Eicosanoids and other Bioactive Lipids in Cancer, Inflammation, and Radiation Injury 3

Eicosanoids and other Bioactive Lipids in Cancer, Inflammation, and Radiation Injury 3

$329.99
Clinical Low Field Strength Magnetic Resonance Imaging

Clinical Low Field Strength Magnetic Resonance Imaging

$89.99
Life-Like Characters

Life-Like Characters

$169.99
Categorical Aspects of Topology and Analysis

Categorical Aspects of Topology and Analysis

$34.99
Relevanz von Naming Rights fr die identittsbasierte Markenfhrung

Relevanz von Naming Rights fr die identittsbasierte Markenfhrung

$49.99
Wirtschaftsinformatik Klipp und Klar

Wirtschaftsinformatik Klipp und Klar

$14.99
Backstage Leadership

Backstage Leadership

$44.99
The Driving Force of the Collective

The Driving Force of the Collective

$84.99
Analysis of Infectious Disease Problems (Covid-19) and Their Global Impact

Analysis of Infectious Disease Problems (Covid-19) and Their Global Impact

$159.99
Elektronentheorie der Metalle

Elektronentheorie der Metalle

$79.99
Persnliches Change Management

Persnliches Change Management

$29.99
Runtime Verification

Runtime Verification

$39.99
Applications of Systems Approaches at the Farm and Regional Levels

Applications of Systems Approaches at the Farm and Regional Levels

$169.00
Long-Term Care: Economic Issues and Policy Solutions

Long-Term Care: Economic Issues and Policy Solutions

$249.99
Kochsalz. Fleischextrakte und hnliche Prparate. Fische. Lurche und Kriechtiere. Krustentiere und W

Kochsalz. Fleischextrakte und hnliche Prparate. Fische. Lurche und Kriechtiere. Krustentiere und W

$59.99
Urogenitaltrakt, Retroperitoneum, Mamma

Urogenitaltrakt, Retroperitoneum, Mamma

$54.99
Progress in Artificial Intelligence

Progress in Artificial Intelligence

$39.99
Business Development and Economic Governance in Southeastern Europe

Business Development and Economic Governance in Southeastern Europe

$219.99
Workplace Vagabonds

Workplace Vagabonds

$54.99
Electromagnetic Cascade and Chemistry of Exotic Atoms

Electromagnetic Cascade and Chemistry of Exotic Atoms

$169.99
Die Moral der Organisation

Die Moral der Organisation

$39.99
Brand Page Attachment

Brand Page Attachment

$54.99
Changing Patterns of Government

Changing Patterns of Government

$109.99
Atomic Force Microscopy

Atomic Force Microscopy

$109.00
Electron Paramagnetic Resonance Spectroscopy

Electron Paramagnetic Resonance Spectroscopy

$54.99
Topics in Mathematical Geology

Topics in Mathematical Geology

$39.99
Protein Phosphatase Protocols

Protein Phosphatase Protocols

$84.99
Affinity Chromatography

Affinity Chromatography

$109.00
Soviet Influences on Postwar Yugoslav Gender Policies

Soviet Influences on Postwar Yugoslav Gender Policies

$84.99
Shakespeare's Boys

Shakespeare's Boys

$39.99
previous
next