Products

Product categories

Filters

Filters

Clear all
2 products
Sort by
Sort by
Coverage Metrics for Model Checking,Used Coverage Metrics for Model Checking,Used
Add to wishlist
Quick view
Add to compare
Coverage Metrics for Model Checking,Used
This book considers formal verification of computerized systems. In formal verification (model checking),we verify the correctness of a system with respect to a desired behavior...
Sale price$107.59 Regular price$153.70
Quantity
Add to cart
Validation of Evolving Software,Used Validation of Evolving Software,Used
Add to wishlist
Quick view
Add to compare
Validation of Evolving Software,Used
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software...
Sale price$66.67 Regular price$95.24
Quantity
Add to cart

Recently viewed products