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

Regional Policy, Economic Growth and Convergence

$84.99

Progress in Ultrafast Intense Laser Science VII

$84.99

Musculoskeletal Ultrasound in Rheumatology Review

$99.00

Static Analysis

$54.99

Inkassounternehmen und der Erfolg beim Forderungseinzug

$69.99

Zur Bedeutung der Bewegung fr die kindliche Gesundheit

$64.99

Towards Global Interpretation of LHC Data

$179.99

Understanding Globalization, Global Gaps, and Power Shifts in the 21st Century

$54.99

Computer Vision ECCV 2012

$54.99

Pattern Recognition and Computer Vision

$74.99

Datenbankgesttztes Kosten- und Erlscontrolling

$59.99

UI Design for iOS App Development

$49.99

Diversifying Learner Experience

$159.99

Data Organization in Parallel Computers

$84.99

Smart Living for Smart Cities

$179.99

Eine dezentrale Informations- und Kollaborationsarchitektur fr die unternehmensbergreifende Produk

$84.99

Ttungsdelikte an Kindern unter 6 Jahren in Deutschland

$49.99

A Marvelous Mexican Misunderstanding

$5.96

Supportive Care in Cancer Patients

$109.99

The Contemporary Writer and Their Suicide

$159.99

Education for Sustainability in Tourism

$84.99

Das erklrte Universum

$44.99

Dengue and Zika: Control and Antiviral Treatment Strategies

$199.99

Process Analytical Chemistry

$169.00

Analytiker-Taschenbuch

$64.99

Out Of the Wild Night

$6.74

Explaining Games

$109.99

Beginning Android Web Apps Development

$37.99

Wireless Sensor Networks

$39.99

Methodik fr die Querdynamik-Evaluation auf einem Fahrzeugdynamikprfstand

$84.99

Real-World SQL-DMO for SQL Server

$49.99

Cosmic Time Travel

$54.99

Number-Theoretic Analysis

$34.99

National Registration for Producers of Electronic Waste

$109.99

New Strategies in Locust Control

$54.99

Handbook of Terrestrial Heat-Flow Density Determination

$219.99

The Handbook of Creativity & Innovation in Business

$169.99

A Very Merry Bromance by Lyssa Kay Adams

$17.00

Computer Models in Environmental Planning

$39.99

Fuzzy Graph Theory

$129.00