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

This book constitutes the refereed proceedings of the 8th International SPIN Workshop held in Toronto, Canada, in May 2001. The SPIN model checker is one of the most powerful and popular systems for the analysis and verification of distributed and concurrent systems. The 13 revised full papers presented together with one invited survey paper and three invited industrial experience reports were carefully reviewed and selected from 26 submissions. Besides foundational issues of program analysis and formal verification, the papers focus on tools for model checking and practical applications in a variety of fields.

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

Spectral Mixture for Remote Sensing

$159.99

Salvemos El Planeta

$54.99

Statics Formulas and Problems

$29.99

Handbook of Suicidal Behaviour

$379.99

Programming Languages and Systems

$54.99

Algebraic Number Theory

$37.99

Das Herzkatheterlabor

$59.99

Egg & Ego

$54.99

Security Technology

$39.99

Handbook of Decolonial Community Psychology

$379.99

Functional Genomics

$84.99

SDG18 Communication for All, Volume 2

$159.99

The Face of Friendship

$2.99

Folding for the Synapse

$219.99

Strukturformen und Funktionsleistungen sozialer Systeme

$69.99

Advocacy in Health Care

$109.99

Architecture of Computing Systems ARCS 2015

$54.99

Practical Guide to Visualizing Medicine

$139.00

Die Grundgesetze der Wrmebertragung

$59.99

A Cultural History of the Disney Fairy Tale

$99.00

Acting Queer

$54.99

Bltter fr Technikgeschichte

$59.99

Physics of the Solar System

$139.99

Die Grundlagen der Soziometrie

$54.99

The Greco-German Affair in the Euro Crisis

$54.99

16th International Conference on Applications of Fuzzy Systems, Soft Computing and Artificial Intell

$179.99

Wissen, Werte und Kompetenzen in der Mitarbeiterentwicklung

$17.99

Mathematische Knobeleien

$59.99

Qu pueden hacer?

$3.71

What Kind of Information Society? Governance, Virtuality, Surveillance, Sustainability, Resilience

$84.99

Cat on the Run in Cucumber Madness! (Cat on the Run #2)

$5.99

Autoimmunity

$74.99

IUTAM Symposium on New Applications of Nonlinear and Chaotic Dynamics in Mechanics

$169.00

Interface Fundamentals in Microprocessor-Controlled Systems

$219.99

The Palgrave Handbook of Disability and Communication

$219.99

Worldwide Computing and Its Applications

$39.99

Curriculum Studies in the United States: Present Circumstances, Intellectual Histories

$54.99

Genetics of Colorectal Cancer

$129.00

Clinical Core Laboratory Testing

$39.99

Unobserved Variables

$54.99