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

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012. The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 50 submissions. The papers address a wide range of specification languages and formalisms for traces, specification mining, program instrumentation, monitor construction techniques, logging, recording, and replay, fault detection, localization, recovery and repair, program steering and adaptation, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.

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

Geometrische Methoden in der Theorie der gewhnlichen Differentialgleichungen

$54.99

Sense of Place, Identity and the Revisioning of Curriculum

$129.99

Artificial Intelligence for Knowledge Management

$54.99

Elements for Physics

$54.99

Sacroiliac Joint Disorder

$159.99

Rediscovering Social Economics

$119.99

Gabler Kompakt Lexikon EDV undInformatik

$74.99

Geospatial Technologies for Crops and Soils

$189.00

Genetic and Environmental Factors in Human Ability

$54.99

Modeling Steel Deformation in the Semi-Solid State

$99.00

Farm Bottoms by Lisa Stubbs

$9.99

Low-Dimensional Molecular Metals

$169.99

A Practical Approach to High-Performance Computing

$39.99

Nuclear Technologies in a Sustainable Energy System

$84.99

The Illusion of Trust

$84.99

Introduction to Topology

$84.99

Digitale Business-Strategien fr den Mittelstand

$49.99

Die Fichte in Bezug auf Ertrag, Zuwachs und Form

$59.99

Bronislaw Malinowski's Concept of Law

$109.99

Cell and Tissue Organization in the Circulatory and Ventilatory Systems

$109.99

Materials Processing Fundamentals 2019

$169.99

Optimierung von Verfahren der Laseroberflchenbehandlung bei gleichzeitiger Pulverzufuhr

$44.99

Hugo von Hofmannsthal

$17.99

The Landscape of Relativistic Stellar Explosions

$219.99

Germ Cell Development in C. elegans

$169.99

Organizational Trust

$109.99

Image-Based Computational Modeling of the Human Circulatory and Pulmonary Systems

$169.99

Marine Geology and Oceanography of the Pacific Manganese Nodule Province

$84.99

Interior Modelling of Massive Stars in Multiple Systems

$179.99

Automated Reasoning with Analytic Tableaux and Related Methods

$69.99

Bioproducts and Bioprocesses

$84.99

Use of the Normalized Difference Vegetation Index (NDVI) to Assess Land Degradation at Multiple Scal

$44.99

Muslim Public Opinion Toward the International Order

$59.99

Rom - Paris - London

$109.00

Employability and Access to Training

$39.99

Holzspanwerkstoffe

$64.99

Verified Software. Theories, Tools and Experiments

$54.99

Information from Processes

$39.99

Hydrogen Bonded Polymers

$219.99

Numerische Mathematik 2

$39.99