|
|||||||||||||||||||||||||||||||||||
|
1 Review
|
Average Customer Review
Share your thoughts with other customers
Create your own review
|
|
Most Helpful First | Newest First
|
|
6 of 6 people found the following review helpful:
4.0 out of 5 stars
Good Introduction to Model Checking,
By
This review is from: Principles of Model Checking (Hardcover)
I used this book in an introduction to model checking class and found it to be very thorough and relatively readable, given the nature of the material.The examples are generally clear and illustrative; which is a huge benefit given the mathematical nature of the material. This book definitely qualifies as being of a theoretical bent and there is a LOT of material covered in its 975 pages. If you are more interested in exploring the practical side of model checking, or would simply prefer a programming book to a math book I would recommend: 'Principles of the Spin Model Checker' by Ben-Ari. |
|
Most Helpful First | Newest First
|
|
Principles of Model Checking by Christel Baier (Hardcover - April 25, 2008)
$65.00 $47.94
In Stock | |
 
| ||
