Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone
  • Android

To get the free app, enter your mobile phone number.
Download to your computer
Kindle Cloud Reader

Principles of Model Checking (MIT Press)

by
Christel Baier (Author)
› Visit Amazon's Christel Baier Page
Find all the books, read about the author, and more.
See search results for this author
Are you an author? Learn about Author Central
Christel Baier (Author), Joost-Pieter Katoen (Author), Kim Guldstrand Larsen (Foreword)
4.6 out of 5 stars 5 customer reviews
ISBN-13: 978-0262026499
ISBN-10: 026202649X
Why is ISBN important?
ISBN
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
Trade in your item
Get a $4.95
Gift Card.
Trade in
Learn More
Have one to sell? Sell on Amazon

Sorry, there was a problem.

There was an error retrieving your Wish Lists. Please try again.

Sorry, there was a problem.

List unavailable.
Facebook Twitter Pinterest
Rent On clicking this link, a new layer will be open
$30.40 On clicking this link, a new layer will be open
Buy new On clicking this link, a new layer will be open
$76.01 On clicking this link, a new layer will be open
More Buying Choices
32 New from $46.84 30 Used from $32.99
62 used & new from $32.99
See All Buying Options
Free Two-Day Shipping for College Students with Prime Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student

The Numberlys Best Books of the Year So Far
$76.01 FREE Shipping. Only 3 left in stock (more on the way). Ships from and sold by Amazon.com. Gift-wrap available.
click to open popover

Frequently Bought Together

  • Principles of Model Checking (MIT Press)
  • +
  • Model Checking (MIT Press)
  • +
  • Principles of Cyber-Physical Systems (MIT Press)
Total price: $211.51
Buy the selected items together

Customers Who Bought This Item Also Bought

Page 1 of 1 Start overPage 1 of 1
This shopping feature will continue to load items. In order to navigate out of this carousel please use your heading shortcut key to navigate to the next or previous heading.
Back
  1. Model Checking (MIT Press)
    Edmund M. Clarke Jr.
    3.2 out of 5 stars 4
    Hardcover
    $67.50 Prime
  2. Principles of Cyber-Physical Systems (MIT Press)
    Rajeev Alur
    4.7 out of 5 stars 3
    Hardcover
    $68.00 Prime
  3. Logic in Computer Science: Modelling and Reasoning about Systems
    Michael Huth
    4.4 out of 5 stars 11
    Paperback
    $87.29 Prime
  4. The SPIN Model Checker: Primer and Reference Manual (paperback)
    Gerard Holzmann
    4.6 out of 5 stars 5
    Paperback
    $58.79 Prime
  5. The Little Prover (MIT Press)
    Daniel P. Friedman
    4.8 out of 5 stars 5
    Paperback
    $32.33 Prime
  6. Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
    Jean H. Gallier
    5.0 out of 5 stars 3
    Paperback
    $22.40 Prime
Next

Customers Viewing This Page May Be Interested In These Sponsored Links

  (What's this?)
NO_CONTENT_IN_FEATURE
New York Times best sellers
Browse the New York Times best sellers in popular categories like Fiction, Nonfiction, Picture Books and more. See more

Product Details

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

    •  Would you like to update product info or give feedback on images?

Customers Viewing This Page May Be Interested In These Sponsored Links

  (What's this?)

Customer Reviews

Top Customer Reviews

4.0 out of 5 starsGood Introduction to Model Checking
ByJames Vogelon November 8, 2008
Format: Hardcover
Read more
0Comment| 14 people found this helpful. Was this review helpful to you?YesNoReport abuse
5.0 out of 5 starsgood
Byziqingon April 2, 2014
Format: Hardcover|Verified Purchase
Read more
0Comment|Was this review helpful to you?YesNoReport abuse
5.0 out of 5 starsFrom Experts of the Field
ByCapitanHarlockon December 9, 2013
Format: Hardcover|Verified Purchase
Read more
0Comment| One person found this helpful. Was this review helpful to you?YesNoReport abuse
5.0 out of 5 starsFive Stars
ByPunwesson May 5, 2015
Format: Hardcover|Verified Purchase
Read more
0Comment|Was this review helpful to you?YesNoReport abuse
4.0 out of 5 starsNice reference work
ByAlwyn E. Goodloeon March 15, 2013
Format: Hardcover|Verified Purchase
Read more
0Comment|Was this review helpful to you?YesNoReport abuse

Set up an Amazon Giveaway

Principles of Model Checking (MIT Press)
Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Learn more about Amazon Giveaway
This item: Principles of Model Checking (MIT Press)
Set up a giveaway

There's a problem loading this menu right now.

Learn more about Amazon Prime.