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

This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking.

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

Benutzerhandbuch fr die interaktive Geometrie-Software

$59.99

Folyl and Antifolyl Polyglutamates

$84.99

Die Entstehung des Neuen in der Adoleszenz

$69.99

Unemployment, Market Structure and Growth

$54.99

Blake's Night Thoughts

$54.99

The Real Issues of the Middle East and the Arab Spring

$129.00

Democratic Transition and Consolidation in Southern Europe, Latin America and Southeast Asia

$109.99

Poetic Occasion from Milton to Wordsworth

$84.99

New Perspectives in Statistical Modeling and Data Analysis

$84.99

Labour Rights in Crisis

$54.99

Atlas of Rangeland Plants in Hulun Buir

$84.99

Isokinetische Krfte am Glenohumeralgelenk. Die vordere Instabilitt des Schultergelenks

$69.99

Formal Ontology and Conceptual Realism

$169.99

Intelligent Computing Techniques for Smart Energy Systems

$299.00

Thinking with Diagrams

$159.99

The Very Hungry Caterpillar's First Fall by Eric Carle

$8.99

Getting to We

$44.99

Eye Tracking Methodology

$89.99

Global Atmospheric Change and its Impact on Regional Air Quality

$109.99

Ganzheitliche Pflege von alten Menschen

$19.99

Brain Theory

$84.99

Geschftsprozeoptimierung mit SAP R/3

$29.99

Advances in Intelligent Systems

$219.99

Transanal Endoscopic Microsurgery

$169.99

After Deportation

$29.99

Die Wahrscheinlichkeit

$69.99

Population Viability in Plants

$219.99

Contemporary Fuzzy Logic

$89.99

Girls in Contemporary Vampire Fiction

$99.00

Gender as a Political Instrument Forming New Boundaries by Ethnic and Religious Diasporas in Europea

$129.99

(Re)Constructing Memory: Textbooks, Identity, Nation, and State

$39.99

Prosa der Romantik

$19.99

Human-Computer Interaction

$39.99

The European Integration, Vol. 1

$89.00

Erfolgsfaktoren in stagnierenden und schrumpfenden Mrkten

$59.99

The Real Psychology of the Trump Presidency

$37.99

Elemental Power Tarot - Includes a full deck of 78 cards and a 64-page illustrated book by Melinda Lee Holm

$19.99

Elements of Statistical Disclosure Control

$109.99

Girls Who Code: How to Code a Rollercoaster

$5.96

Die Untersuchungshaft in Sdamerika und Deutschland

$64.99