Programming Books C Java PHP Python Learn more Browse Programming Books
  • List Price: $68.00
  • Save: $35.50 (52%)
Rented from Amazon Warehouse Deals
To Rent, select Shipping State from options above
Due Date: Dec 19, 2014
FREE return shipping at the end of the semester. Access codes and supplements are not guaranteed with rentals.
Qty:1
  • List Price: $68.00
  • Save: $9.40 (14%)
Only 7 left in stock (more on the way).
Ships from and sold by Amazon.com.
Gift-wrap available.
Add to Cart
Trade in your item
Get a $25.66
Gift Card.
Have one to sell? Sell on Amazon
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See this image

Principles of Model Checking Hardcover – April 25, 2008

ISBN-13: 978-0262026499 ISBN-10: 026202649X

Buy New
Price: $58.60
Rent
Price: $32.50
31 New from $51.47 19 Used from $34.98
Rent from Amazon Price New from Used from
eTextbook
"Please retry"
Hardcover
"Please retry"
$32.50
$58.60
$51.47 $34.98

Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student



Frequently Bought Together

Principles of Model Checking + The SPIN Model Checker: Primer and Reference Manual (paperback) + Model Checking
Price for all three: $175.55

Buy the selected items together

Customers Who Bought This Item Also Bought

NO_CONTENT_IN_FEATURE
Shop the new tech.book(store)
New! Introducing the tech.book(store), a hub for Software Developers and Architects, Networking Administrators, TPMs, and other technology professionals to find highly-rated and highly-relevant career resources. Shop books on programming and big data, or read this week's blog posts by authors and thought-leaders in the tech industry. > Shop now

Product Details

  • Hardcover: 984 pages
  • Publisher: The MIT Press (April 25, 2008)
  • Language: English
  • ISBN-10: 026202649X
  • ISBN-13: 978-0262026499
  • Product Dimensions: 10.2 x 8.3 x 1.6 inches
  • Shipping Weight: 4.2 pounds (View shipping rates and policies)
  • Average Customer Review: 4.5 out of 5 stars  See all reviews (4 customer reviews)
  • Amazon Best Sellers Rank: #731,542 in Books (See Top 100 in Books)

Editorial Reviews

Review

"This book offers one of the most comprehensive introductions to logic model checking techniques available today. The authors have found a way to explain both basic concepts and foundational theory thoroughly and in crystal clear prose. Highly recommended for anyone who wants to learn about this important new field, or brush up on their knowledge of the current state of the art."--Gerard J. Holzmann, NASA/JPL Laboratory for Reliable Software

(Gerard J. Holzmann)

"Principles of Model Checking, by two principals of model-checkingresearch, offers an extensive and thorough coverage of the state of artin computer-aided verification. With its coverage of timed and probabilistic systems, the reader gets a textbook exposition of some ofthe most advanced topics in model-checking research. Obviously, one cannot expect to cover this heavy volume in a regular graduate course; rather, one can base several graduate courses on this book, which belongs on the bookshelf of every model-checking researcher."--Moshe Vardi, Director, Computer and Information Technology Institute, Rice University

(Moshe Y. Vardi)

" Principles of Model Checking, by two principals of model-checking research, offers an extensive and thorough coverage of the state of art in computer-aided verification. With its coverage of timed and probabilistic systems, the reader gets a textbook exposition of some of the most advanced topics in model-checking research. Obviously, one cannot expect to cover this heavy volume in a regular graduate course; rather, one can base several graduate courses on this book, which belongs on the bookshelf of every model-checking researcher." Moshe Vardi , Director, Computer and Information Technology Institute, Rice University



"This book offers one of the most comprehensive introductions to logic model checking techniques available today. The authors have found a way to explain both basic concepts and foundational theory thoroughly and in crystal clear prose. Highly recommended for anyone who wants to learn about this important new field, or brush up on their knowledge of the current state of the art." Gerard J. Holzmann , NASA/JPL Laboratory for Reliable Software



"This is an impressive piece of work....The book can be used as a kind of reference manual for the classical basis of model checking for lecturers, who will be able to select some parts in order to construct a coherent and complete lecture on automatic verification; and of course for students, who will find many explanations, motivations, examples, and proofs to help them discover this very active research area." François Laroussinie The Computer Journal

About the Author

Christel Baier is Professor and Chair for Algebraic and Logical Foundations of Computer Science in the Faculty of Computer Science at the Technical University of Dresden.

Joost-Pieter Katoen is Professor at the RWTH Aachen University and leads the Software Modeling and Verification Group within the Department of Computer Science. He is affiliated with the Formal Methods and Tools Group at the University of Twente.

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

4.5 out of 5 stars
5 star
2
4 star
2
3 star
0
2 star
0
1 star
0
See all 4 customer reviews
Share your thoughts with other customers

Most Helpful Customer Reviews

12 of 13 people found the following review helpful By James Vogel on November 8, 2008
Format: 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.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
0 of 1 people found the following review helpful By ziqing on April 2, 2014
Format: Hardcover Verified Purchase
like new. great. The hard cover is almost brand new. IT helps me a lot in study, I'll keep it
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
0 of 1 people found the following review helpful By Valerio on December 9, 2013
Format: Hardcover Verified Purchase
It is THE book for most recent topics in Model Checking. It is very instructive and educational, so adequate for any undergraduate course.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again
0 of 3 people found the following review helpful By Alwyn E. Goodloe on March 15, 2013
Format: Hardcover Verified Purchase
I've only skimmed this book, but it has a lot of useful information and will serve as a good reference.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback. If this review is inappropriate, please let us know.
Sorry, we failed to record your vote. Please try again

Customer Images

Search

What Other Items Do Customers Buy After Viewing This Item?