Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Runtime Verification

Runtime Verification

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
1 Offer Price Range: $59.99 - $59.99
BEST PRICE

Single Product Purchase

$59.99
@ Link.springer.com     BUY Now

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
Contact Store Call Store Contact Support
$59.99 $59.99

$59.99
See Site In stock Visit Store

Similar Products

Transgenesis

$189.00

Beteiligung und Unterlassen beim erfolgsqualifizierten Delikt am Beispiel der Krperverletzung mit T

$74.99

20 Years of G20

$119.00

Foundation Models for General Medical AI

$44.99

The Relativistic Deduction

$39.99

Life Science Ethics

$69.99

Smart Card Research and Advanced Applications

$54.99

Ellie, Engineer: The Next Level

$6.71

Digital Communication and Populism in Times of Covid-19

$99.00

Die Automobilindustrie auf dem Weg zur globalen Netzwerkkompetenz

$119.00

Crocodile Rescue!

$6.74

Return to China One Day

$59.99

Design of Visualizations for Human-Information Interaction

$59.99

Qualitt im Virtual Banking

$59.99

Interdisciplinary Computing in Java Programming

$169.99

Internet of Things: Enabling Technologies, Security and Social Implications

$129.00

Front Tracking for Hyperbolic Conservation Laws

$54.99

Animation and Performance Capture Using Digitized Models

$84.99

Critical Studies of the Arctic

$84.99

Examens-Fragen

$69.99

Community Ecology

$169.99

The Dictionary of Computer Graphics Technology and Applications

$109.99

Speisewasser und Speisewasserpflege im neuzeitlichen Dampfkraftbetrieb

$59.99

New Directions in Terahertz Technology

$169.00

Perceptions of Self, Power, & Gender Among Muslim Women

$84.99

Elektrische Antriebstechnik

$54.99

Computer Security ESORICS 2023

$79.99

Henry and Mudge and the Long Weekend

$3.71

Waves with Power-Law Attenuation

$139.00

Languages and Compilers for Parallel Computing

$39.99

R.E.A.L. Additional Student-Packs Grade 3 Set A (5-Pack)

$179.99

Handbook on Decision Support Systems 2

$169.00

Democracy and Deterrence

$14.99

Justinus Kerner 17861862

$84.99

Transient Global Amnesia

$79.99

The European Consumer Citizen in Law and Policy

$54.99

Systemwechsel zwischen Projekt und Proze

$59.99

Words in Context: Science

$12.74

The Other In 9/11 Literature

$59.99

Coastal Monitoring through Partnerships

$109.99