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

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on parallelism and deadlocks, malware detection, temporal constraints and concurrency bugs, sampling and specification conformance, real-time, software and hardware systems, memory transactions, tools; foundational techniques and multi-valued approaches.

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

Computational and Conversational Discourse

$219.99

Lebenswelten trkischer Migrantinnen der dritten Einwanderergeneration

$39.99

The Geology of Germany

$109.99

Sponsoring

$44.99

Performance Characterization in Computer Vision

$109.99

Fuzzy Probabilities

$109.99

Japanische Plakate Sechziger Jahre bis heute

$24.99

Office 2003 Programming

$39.99

Big Data and Social Computing

$69.99

Learning Agility

$99.99

A Conceptual History of Space and Symmetry

$149.00

Systems Analysis in Forest Resources

$169.99

Hauptaustauschschritte (Principal Pivoting)

$59.99

Commemoration as Conflict

$39.99

Sobolev Maps to the Circle

$129.00

Stochastic Stability of Differential Equations

$139.99

Shareholder Value versus Stakeholder Value

$74.99

ber Geld spricht man nicht Frau schon!

$24.99

The Story of Easter by Patricia A. Pingry

$7.99

New Trends in the Photochemistry of Polymers

$329.99

Plant Biotechnology and In Vitro Biology in the 21st Century

$329.99

Sustainable Waste Utilization in Bricks, Concrete, and Cementitious Materials

$179.99

Interactive Phenomena in the Cardiac System

$39.99

Bisphosphonattherapie von Knochenerkrankungen

$59.99

Mesenchymal Stem Cell in Veterinary Sciences

$129.00

Population-Based Optimization on Riemannian Manifolds

$139.99

Information and Pricing in Road Transportation

$84.99

The Decembrist Myth in Russian Culture

$54.99

Understanding Willing Participants, Volume 1

$109.99

Psychobattery

$49.99

Handbook of the Physics of Thin-Film Solar Cells

$549.99

Bioavailability of Organic Xenobiotics in the Environment

$219.99

Geschichte des deutschen Liberalismus

$59.99

Prfungstraining Lineare Algebra

$29.99

Molecular Conformation and Organic Photochemistry

$109.99

KI-94

$69.99

Model Neural Networks and Behavior

$39.99

Proceedings of the 20th Congress of the International Ergonomics Association (IEA 2018)

$219.99

Makromodellierung von Geschftsprozessen

$64.99

Neural Nets WIRN VIETRI-96

$84.99