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

Runtime Verification

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

Single Product Purchase

$45.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
$49.99 $49.99

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

Product Details

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

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024. The 11 full papers, 5 short papers and 2 tool papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Invited Paper; Cyber-physical Systems; Temporal Logics; Speci cation and Visualization; Deep Neural Networks; and Distributed Systems.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Prostatakarzinom  urologische und strahlentherapeutische Aspekte

Prostatakarzinom urologische und strahlentherapeutische Aspekte

$54.99
Internal and External Context Specificity of Leadership in M&A Integration

Internal and External Context Specificity of Leadership in M&A Integration

$39.99
Nonstandard Methods in Fixed Point Theory

Nonstandard Methods in Fixed Point Theory

$54.99
Video Analytics for Business Intelligence

Video Analytics for Business Intelligence

$129.00
Migration, Familie und Gesellschaft

Migration, Familie und Gesellschaft

$44.99
Precision Molecular Pathology of Breast Cancer

Precision Molecular Pathology of Breast Cancer

$99.00
A Polynomial Approach to Linear Algebra

A Polynomial Approach to Linear Algebra

$84.99
Hazard Modeling and Assessment of the Nile Delta Coast

Hazard Modeling and Assessment of the Nile Delta Coast

$159.99
In Vitro Haploid Production in Higher Plants

In Vitro Haploid Production in Higher Plants

$219.99
Politische Bildung in Ostdeutschland

Politische Bildung in Ostdeutschland

$44.99
Soziale Mobilisierung und Demokratie

Soziale Mobilisierung und Demokratie

$59.99
Introduction to Social Systems Engineering

Introduction to Social Systems Engineering

$159.99
Stem Cells and Cancer

Stem Cells and Cancer

$219.99
Synthetic DNA

Synthetic DNA

$159.99
Advances in Cryptology -- CRYPTO 2011

Advances in Cryptology -- CRYPTO 2011

$54.99
Balanced Control of Flexible Structures

Balanced Control of Flexible Structures

$54.99
Elements and Relations

Elements and Relations

$69.99
E.T.A. Hoffmann-Handbuch

E.T.A. Hoffmann-Handbuch

$119.99
Handbuch fr den Baukaufmann

Handbuch fr den Baukaufmann

$59.99
Developments in Chinese Entrepreneurship

Developments in Chinese Entrepreneurship

$109.99
Imaging of Parasitic Diseases

Imaging of Parasitic Diseases

$109.99
Hochleistungs-Gaserzeuger

Hochleistungs-Gaserzeuger

$59.99
Forever Young?

Forever Young?

$39.99
A. J. P. Taylor

A. J. P. Taylor

$109.99
Finite Elemente Modelle der Maschinenelemente

Finite Elemente Modelle der Maschinenelemente

$59.99
Kinetics of Ordering and Growth at Surfaces

Kinetics of Ordering and Growth at Surfaces

$39.99
Das diskursive Verschwinden der Religionsfreiheit

Das diskursive Verschwinden der Religionsfreiheit

$29.99
Lebensstile und Politik

Lebensstile und Politik

$34.99
Difficult Decisions in Hepatobiliary and Pancreatic Surgery

Difficult Decisions in Hepatobiliary and Pancreatic Surgery

$169.99
Skin Manifestations in Rheumatic Disease

Skin Manifestations in Rheumatic Disease

$39.99
Excited Nuclear States - Nuclei with Z = 74-103

Excited Nuclear States - Nuclei with Z = 74-103

$549.99
Khltrme

Khltrme

$44.99
Der Dauerwald

Der Dauerwald

$84.99
Intelligent Computational Optimization in Engineering

Intelligent Computational Optimization in Engineering

$169.99
Virtual Colonoscopy

Virtual Colonoscopy

$109.00
Who Would Win? - Quin ganar?: Coyote vs. Dingo (Spanish)

Who Would Win? - Quin ganar?: Coyote vs. Dingo (Spanish)

$3.74
Physiological Mechanisms and Adaptation Strategies in Plants Under Changing Environment

Physiological Mechanisms and Adaptation Strategies in Plants Under Changing Environment

$129.00
Electron Crystallography of Soluble and Membrane Proteins

Electron Crystallography of Soluble and Membrane Proteins

$249.99
Sudan Divided

Sudan Divided

$54.99
Direct Methods in the Calculus of Variations

Direct Methods in the Calculus of Variations

$199.99
previous
next