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

This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic. The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial papers, 6 tool papers, and a benchmark paper. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. The papers are organized in the following topical sections: runtime verification for autonomy; runtime verification for software; runtime verification with temporal logic specifications; stream-based monitoring; and runtime verification for cyber-physical systems.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

How the East Was Won

$109.99

Unmanned Aircraft Design

$32.99

Computer Supported Cooperative Work and Social Computing

$169.99

The Anonymous Elect

$54.99

Physiology of the Plant Root System

$219.99

The Care of the Self in Early Christian Texts

$19.99

CO2: Abtrennung, Speicherung, Nutzung

$149.99

The Pathways of Mind

$109.99

The Eight International Conference "Bridges in Danube Basin"

$169.00

Imperial Migrations

$29.99

The Fluid Environment of the Earth

$129.00

Closing the Gap

$6.06

Love, Friendship and Faith in Europe, 13001800

$109.99

Karl Kraus

$89.99

Single-Stranded DNA Binding Proteins

$109.99

Integrity and Internal Control in Information Systems

$129.00

Multimedia Software Engineering

$129.00

Kinetic Theory of Nonequilibrium Ensembles, Irreversible Thermodynamics, and Generalized Hydrodynami

$84.99

Dynamic NMR Spectroscopy

$129.00

The Ecosystem of e-Business: Technologies, Stakeholders, and Connections

$39.99

Business Process Modeling Notation

$54.99

Handbook of Augmented Reality

$219.99

Advances in Structures, Systems and Materials

$219.99

Assessing Emotional Intelligence

$169.99

Moment Formation In Solids

$39.99

Climate Change Modelling, Planning and Policy for Agriculture

$84.99

Differential and Difference Equations with Applications

$249.99

Handbook of Rural Health

$109.99

Where In the Garden?: Miguel's Community Garden

$5.96

Sozialwissenschaftliche Forschungsinstitute

$59.99

Land Use Transitions and Rural Restructuring in China

$199.99

History and Cultural Memory in Neo-Victorian Fiction

$31.00

Endoplasmic Reticulum Stress in Health and Disease

$169.99

Emerging Pervasive Information and Communication Technologies (PICT)

$54.99

Organisationspsychologie

$19.99

Grammar-Based Feature Generation for Time-Series Prediction

$54.99

Systems, Software and Services Process Improvement

$39.99

Advanced Arduino Techniques in Science

$24.99

Local Density Approximations in Quantum Chemistry and Solid State Physics

$219.99

Bone and Joint Disease

$84.99