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

SMEs as the Unknown Stakeholder

$54.99

Post-Conflict Performance, Film and Visual Arts

$129.99

IT-gesttzte Logistik

$39.99

Engineering Haptic Devices

$79.99

Innovationsfrderndes Human Resource Management

$19.99

Statistical Modelling

$109.99

Taking a Bath with the Dog and Other Things that Make Me Happy

$5.96

How Likely is Extraterrestrial Life?

$39.99

East-West Relations

$39.99

Quantum Mechanics

$84.99

Tabakschwrmer, Bcherwrmer und Turbo-Socken

$24.99

Mathematical Methods in Engineering

$169.99

Heidelberger Jahrbcher

$59.99

Hazlitt the Dissenter

$39.99

The Real Slam Dunk

$5.21

Elektromagnetische Artikulographie

$69.99

Advances in Cryogenic Engineering

$39.99

Progress in Botany

$259.00

Partizipation, Wissen und Motivation im Politikunterricht

$44.99

Childhood in Edwardian Fiction

$54.99

Proceedings of the 21st Annual Meeting of the European Society for Animal Cell Technology (ESACT), D

$329.99

Turkeys Relations with the Middle East

$129.99

Psychological Perspectives on Reality, Consciousness and Paranormal Experience

$109.99

Hip Magnetic Resonance Imaging

$169.99

Geometric Quantization and Quantum Mechanics

$139.99

Reducing Lightning Injuries Worldwide

$129.99

Atlas Geld und Wertpapiere

$59.99

Structure and Dynamics of Fungal Populations

$39.99

Clifford the Big Red Dog: Clifford's Happy Easter

$5.24

American Royalty

$54.99

Spoken English, TESOL and Applied Linguistics

$109.99

Strategische Netzwerke

$74.99

Sozialpsychologie

$34.99

Computer Security ESORICS 2011

$54.99

Scholastic Success With Contemporary Cursive: Grades 2-4 Workbook

$5.24

Digital Simulation in Electrochemistry

$159.99

Systems Analysis and Simulation I

$109.99

Lernen im Zeitalter der Digitalisierung

$64.99

Molecular Basis and Emerging Strategies for Anti-aging Interventions

$199.99

Aboriginal Sports Coaches, Community, and Culture

$54.99