Principles of Model Checking
Christel Baier, Joost-Pieter Katoen, Foreword by Kim Guldstrand Larsen,Hardcover, English-language edition,Pages:975,Pub by MIT Press
- For:$50.40
- Info:
- Tags:
| title,desc | merchant | price | seeit |
|---|---|---|---|
|
Principles of Model Checking
Pages: 975, Hardcover, The MIT Press |
|
See it |
*Shipping costs are based on an estimate of the lowest shipping rate available within the contiguous US, excluding Alaska and Hawaii. Only merchants with this product in stock are listed (Merchants with this product back ordered have been removed from this list).
Do you see a pricing error? Please let us know by filling out a simple form: Click here
MoreStores
ProductReviews73/100 (1 Reviews)
Recent Reviews
- 4/5
- From: Amazon
- Posted: Nov-08-2008
- Good Introduction to Model Checking
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...
- read full review | report as inappropriate
Selected Reviews
- 4/5
- From: Amazon
- Posted: Nov-08-2008
- Good Introduction to Model Checking
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...
- read full review | report as inappropriate
SimilarProducts
-
Cloud Application Architectures: Building Applications and Infrastructure in the Cloud (Theory in Practice (O'Reilly))
-
Head First Design Patterns (Head First)
-
Computer Networking: A Top-Down Approach (5th Edition)
-
The Mythical Man-Month: Essays on Software Engineering, 20th Anniversary Edition
-
Pattern Recognition and Machine Learning (Information Science and Statistics)
-
WPF Control Development Unleashed: Building Advanced User Experiences
-
97 Things Every Software Architect Should Know
-
Domain-Driven Design: Tackling Complexity in the Heart of Software
-
Real World Java EE Patterns Rethinking Best Practices
-
Absolute Beginner's Guide to Computer Basics (4th Edition) (Absolute Beginner's Guide)







