Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Model Checking Software

Best Price:
Buy Model Checking Software for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.

Set a price drop alert to never miss an offer.

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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Product Details

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

This book constitutes the refereed proceedings of the 16th International SPIN workshop on Model Checking Software, SPIN 2009, held in Grenoble, France, in June 2009. The 15 revised full papers presented together with 3 tool papers and 4 invited talks were carefully reviewed and selected from 41 submissions. The papers cover theoretical and algorithmic foundations as well as tools for software model checking by addressing theoretical advances and empirical evaluations related to state-space and path exploration techniques, as implemented in software verification tools.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

ko-Audit im Kleinbetrieb

ko-Audit im Kleinbetrieb

$49.99
Handbuch frhkindliche Bildungsforschung

Handbuch frhkindliche Bildungsforschung

$179.99
Selbstschilderungen der Verwirrtheit

Selbstschilderungen der Verwirrtheit

$84.99
Fallstudien zu akademischen Ausgrndungen

Fallstudien zu akademischen Ausgrndungen

$19.99
Spacetime, Geometry and Gravitation

Spacetime, Geometry and Gravitation

$54.99
Ergebnisse der Inneren Medizin und Kinderheilkunde

Ergebnisse der Inneren Medizin und Kinderheilkunde

$59.99
Flat Stanley: Stanley's Christmas Adventure

Flat Stanley: Stanley's Christmas Adventure

$3.71
The Merkel Cell

The Merkel Cell

$169.99
ber die Quantentheorie der Linienspektren

ber die Quantentheorie der Linienspektren

$69.99
Leistungssteigerung durch die Dienstrechtreform 1997?

Leistungssteigerung durch die Dienstrechtreform 1997?

$39.99
Mathematics, Education and History

Mathematics, Education and History

$119.00
International Labour Organization and Global Social Governance

International Labour Organization and Global Social Governance

$109.99
Theory of Functions on Complex Manifolds

Theory of Functions on Complex Manifolds

$39.99
Microentrepreneurship in a Developing Country

Microentrepreneurship in a Developing Country

$179.99
Genome Analysis and Human Health

Genome Analysis and Human Health

$84.99
Progress toward Liberalization of the Postal and Delivery Sector

Progress toward Liberalization of the Postal and Delivery Sector

$169.99
The Logistics and Politics of the British Campaigns in the Middle East, 1914-22

The Logistics and Politics of the British Campaigns in the Middle East, 1914-22

$54.99
ber das rumliche Hren / Biologische Periodik als selbsterregte Schwingung

ber das rumliche Hren / Biologische Periodik als selbsterregte Schwingung

$59.99
Chemical Waves and Patterns

Chemical Waves and Patterns

$219.99
Cam Jansen and the Chocolate Fudge Mystery

Cam Jansen and the Chocolate Fudge Mystery

$4.46
Advances in Advertising Research (Vol. VI)

Advances in Advertising Research (Vol. VI)

$54.99
Colitis

Colitis

$89.00
Wissenschaftliche Verffentlichungen aus dem Siemens-Konzern

Wissenschaftliche Verffentlichungen aus dem Siemens-Konzern

$59.99
Background to Migraine

Background to Migraine

$39.99
Personalwirtschaft zwischen Bindung und Autonomie

Personalwirtschaft zwischen Bindung und Autonomie

$49.99
Mathematical Encounters of the Second Kind

Mathematical Encounters of the Second Kind

$59.99
Handbook of Electronic Materials

Handbook of Electronic Materials

$109.99
Preismanagement fr Leistungsbndel

Preismanagement fr Leistungsbndel

$79.99
Count on Fish

Count on Fish

$3.71
Nonlinear Model Predictive Control

Nonlinear Model Predictive Control

$169.99
Doing Clinical Ethics

Doing Clinical Ethics

$54.99
Last Man Out

Last Man Out

$5.96
Advances in Intelligent Data Analysis V

Advances in Intelligent Data Analysis V

$109.99
Radiology of Occupational Chest Disease

Radiology of Occupational Chest Disease

$84.99
Medieval Spaces in Comics

Medieval Spaces in Comics

$139.99
Differentialdiagnose

Differentialdiagnose

$59.99
Methoden und Modelle des Operations Research

Methoden und Modelle des Operations Research

$69.99
Bullying, Prejudice and School Performance

Bullying, Prejudice and School Performance

$59.99
Neuropsychiatric Symptoms of Inflammatory Demyelinating Diseases

Neuropsychiatric Symptoms of Inflammatory Demyelinating Diseases

$84.99
Shakespeare's Arguments with History

Shakespeare's Arguments with History

$109.99
previous
next