Customer Reviews


1 Review
5 star:    (0)
4 star:
 (1)
3 star:    (0)
2 star:    (0)
1 star:    (0)
 
 
 
 
 
Average Customer Review
Share your thoughts with other customers
Create your own review
 
 
Only search this product's reviews
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, November 8, 2008
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.
Help other customers find the most helpful reviews 
Was this review helpful to you? Yes No


Most Helpful First | Newest First

This product

Principles of Model Checking
Principles of Model Checking by Christel Baier (Hardcover - April 25, 2008)
$65.00 $47.94
In Stock
Add to cart Add to wishlist