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

Non-commuting Variations in Mathematics and Physics

$129.99

Robotic Fabrication in Architecture, Art and Design 2014

$169.99

Phenomenological Neuropsychiatry

$169.00

Cosmology Beyond Einstein

$109.99

Berufseinstieg fr Ingenieure

$14.99

Information and Software Technologies

$69.99

Xenophon the Socratic Prince

$119.99

Challenging Global Finance

$39.99

Managing the Dynamics of New Product Development Processes

$169.99

Nature, Cognition and System I

$39.99

Autism Service Delivery

$219.99

The Internationalisation of Legal Education

$139.99

The Four-Color Theorem

$39.99

Transformation und Tradition in Ost und West

$59.99

Slow Tech and ICT

$39.99

Mechanisms of Lymphocyte Activation and Immune Regulation VIII

$84.99

Hong Kong as Creative Practice

$49.99

Grundkurs Strahlenschutz

$69.99

Monetary Policy in Europe after Maastricht

$169.99

The Gelfand Mathematical Seminars, 19931995

$109.99

Data-driven Retailing

$54.99

Science a Road to Wisdom

$54.99

Carcinogenesis and Mutagenesis Testing

$84.99

Testing of Communicating Systems

$169.00

Pro Oracle Database 23c Administration

$64.99

Innovative Models for Sustainable Development in Emerging African Countries

$59.99

Industrial Applications of Homogeneous Catalysis

$129.00

The Boy Who Made Everyone Laugh (Hardcover)

$14.24

RuralUrban Dichotomies and Spatial Development in Asia

$129.99

Klima und Umweltpolitik

$64.99

Stable Probability Measures on Euclidean Spaces and on Locally Compact Groups

$109.99

The Four Pillars of Geometry

$39.99

Crossroads: Performance Studies and Irish Culture

$54.99

Human Happiness and the Pursuit of Maximization

$84.99

Probing the Nature of Gravity

$109.99

Absatzorganisation

$59.99

Protein Structure Prediction

$249.99

Socialist Reformers and the Collapse of the German Democratic Republic

$54.99

Bioinformatik

$54.99

The Impact of Digitalization in the Workplace

$109.00