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

Model Checking Software

Model Checking Software

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642317583
Condition
New
Product Description

This book constitutes the thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions. The papers are grouped in topical sections on model checking techniques; parallel model checking; case studies; model checking for concurrency; and tool demonstrations.

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

Single Product Purchase

$54.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
$54.99 $54.99

$54.99
See Site In stock Visit Store

Similar Products

Liquid Crystal Polymers II/III

$54.99

Advances in Mechanical and Materials Technology

$299.99

Statistics for Innovation

$54.99

High Performance Computational Methods for Biological Sequence Analysis

$129.00

Achtsamkeit und Innovation in integrierten Organisationen

$44.99

Stockbroking Tomorrow

$44.99

Against Theory of Mind

$39.99

Der Einflu interstitieller Volumennderungen auf K+-induzierte Herz-Kreislaufantriebe aus der Skele

$59.99

Rethinking Engineering Education

$169.99

Truth Claims Across Media

$59.99

Drogisten-Lexikon

$79.99

Hi Lo Adventure Chapter Books: Fish Boy

$7.46

Web Information Systems - WISE 2006

$109.99

Neurologie fr Praktiker

$29.99

Nutrition in Neurologic Disorders

$119.99

Die Praxis der Nierenkrankheiten

$59.99

Karl Marx's Writings on Alienation

$89.99

Transforming Political Leadership in Local Government

$54.99

Konfliktmanagement und Unternehmenserfolg

$59.99

7 Strengths en espaol: cabaa turquesa (Grades 2-3)

$525.00

Untersuchungen an Modellen von Innenbeleuchtungsanlagen

$59.99

Learning and Intelligent Optimization

$39.99

Grundfragen des Europischen Steuerrechts

$119.99

Symbole als Instrumente der Markenfhrung

$54.99

The Representation of Economics in Cinema

$84.99

Die Welt als Bhne mit doppeltem Boden

$64.99

Neue Ergebnisse der Nervenphysiologie

$44.99

Literature 1989, Part 1

$84.99

Positive Psychologie und Achtsamkeit im Schulalltag

$69.99

Glial-Neuronal Communication in Development and Regeneration

$84.99

The Boundary-Scan Handbook

$84.99

Teilstrukturen sozialer Differenzierung und Nivellierung in einer westdeutschen Mittelstadt

$59.99

Natural Sulfur Compounds

$39.99

III-Nitride Based Light Emitting Diodes and Applications

$84.99

Managing Knowledge Workers

$54.99

Nonfiction Sight Word Readers: Level D (Single-Copy Set)

$17.99

Bunte Vielfalt - Interkulturelle Zusammenarbeit in Gesundheitsberufen

$19.99

Upside-Down Magic: Showing Off (#3) (Hardcover)

$11.24

Die Bedeutung eines Flughafens fr die Wirtschaft in seiner Umgebung

$59.99

Re-energizing Citizenship

$109.99