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

This book constitutes the refereed proceedings of the 18th International Conference on Runtime Verification, RV 2018, held in Limassol, Cyprus, in November 2018. The 21 full papers presented together with 3 short papers and 3 tool papers were carefully reviewed and selected from 49 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 lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Chapter Hardware-based Runtime Verification with Embedded Tracing Units and Stream Processing is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

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

Single Product Purchase

$64.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
$64.99 $64.99

$64.99
See Site In stock Visit Store

Similar Products

Additive Manufacturing Developments in Training and Education

$64.99

Fortschritte der Hochpolymeren-Forschung / Advances in Polymer Science

$39.99

Dokumentationssysteme

$69.99

Perspectives on Philosophy of Management and Business Ethics

$139.99

Transactions on High-Performance Embedded Architectures and Compilers V

$39.99

The Population Structure of Vegetation

$84.99

The Future of Management Education

$89.00

References no. 2480 3686 / ACE-ZYA

$54.99

Ion Exchange: Science and Technology

$39.99

Writers and Society During the Rise of Russian Realism

$44.99

Gandhi in the Twenty First Century

$99.00

Methods for Fragments Screening Using Surface Plasmon Resonance

$109.00

Scale Invariance

$84.99

Germanides / Germanidy / mh

$54.99

Clinical Low Field Strength Magnetic Resonance Imaging

$89.99

Advanced Experimental Techniques in Powder Metallurgy

$39.99

Marine Science & Technology in China: A Roadmap to 2050

$79.99

General Systemology

$129.00

Membrane-Mimetic Approach to Advanced Materials

$39.99

Strategic Supply Chain Management

$129.99

Computer Vision ECCV 2024

$89.99

Die Erkrankungen der Scheide

$59.99

Governmental Automated Decision-Making and Human Rights

$139.00

Territory and Democratic Politics

$59.99

Smart Sensors and Systems

$84.99

Formal Methods for Components and Objects

$39.99

Application of Titanium Dioxide Photocatalysis to Construction Materials

$84.99

Big Data Benchmarks, Performance Optimization, and Emerging Hardware

$54.99

Frontiers in Bioactive Lipids

$129.00

Finanzierung

$44.99

Information from Processes

$39.99

Measure Theory, Oberwolfach 1981

$44.99

Handbook of Power Systems II

$129.00

Making the Middle-class City

$139.99

Conservative Governments in the Age of Brexit

$139.99

Catalysis in Chemistry and Biochemistry Theory and Experiment

$169.99

Testing Software and Systems

$39.99

Power and Money

$74.99

Turkish Dynamics

$54.99

I Survived the Attack of the Grizzlies, 1967: A Graphic Novel (I Survived Graphic Novel #5) (Hardcover)

$18.74