Product Details
Seller Description
The cover has some small dents, tears and scratches. The binding is a little damaged. One page is written on.
Tags
Overview
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical ex...
Read more
Be the first one to review
Review the book today!