- Remove this product from my favorites
- Add this product to my favorites
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 exercises.
Publishers
Browse
By Categories
Follow us