Skip to content
Home/ Systems and Software Verification: Model-Checking Techniques and Tools (2001)
Systems and Software Verification: Model-Checking Techniques and Tools (2001)

Systems and Software Verification: Model-Checking Techniques and Tools (2001)

by Berard, B
No customer reviews yet ISBN 9783540415237 Springer

About the author

Product details

BrandSpringer
Pub dateJun 20, 2001
ISBN-103540415238
ISBN-139783540415237
LanguageEnglish
Dimensions6.14 × 0.5 × 9.21 in
Weight2 lb
Last updated 2026-08-23 23:19
$166.61
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