Skip to content
Home/ Model Checking Software: 10th International Spin Workshop. Portland, Or, Usa, May 9-10, 2003, Procee
Model Checking Software: 10th International Spin Workshop. Portland, Or, Usa, May 9-10, 2003, Procee

Model Checking Software: 10th International Spin Workshop. Portland, Or, Usa, May 9-10, 2003, Procee

No customer reviews yet ISBN 9783540401179

About the author

Product details

Pub dateApr 28, 2003
ISBN-103540401172
ISBN-139783540401179
LanguageEnglish
Last updated 2026-08-22 16:12
$57.47
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Software Development & Engineering - General
See all
Estimating Software Costs: Bringing Realism to Estimating
Jones, Capers
$93.63
Applied Software Measurement: Global Analysis of Productivity and Quality
Jones, Capers
$114.65
Software Engineering Best Practices: Lessons from Successful Projects in the Top Companies
Jones, Capers
$106.33
Oracle Crm on Demand Dashboards
Lairson, Michael D
$23.17
HTML5 for IOS and Android: A Beginner's Guide
Nixon, Robin
$40.96
Linux Programming: A Beginner's Guide
Petersen, Richard
$25.95