Products

Product categories
Home page (0)

Filters

Filters

Clear all
1 products
Sort by
Sort by
Sold out New
Spin Model Checker, The: Primer And Reference Manual Spin Model Checker, The: Primer And Reference Manual
Add to wishlist
Quick view
Add to compare
Spin Model Checker, The: Primer And Reference Manual
Addison-Wesley Professional
The SPIN Model Checker is used for both teaching software verificationtechniques, and for validating large scale applications. The growing number ofusers has created a need...
$87.64 $131.46
Quantity
Add to cart

Recently viewed products