Skip to content
Home/ Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion
Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion

Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion

No customer reviews yet ISBN 9783540607618

About the author

Product details

Pub dateJan 24, 1996
ISBN-103540607617
ISBN-139783540607618
LanguageEnglish
Last updated 2026-09-07 04:14
$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