Skip your Account's links

$ USD

Advanced search

0 items

$0.00
  • Your basket
  • The RRP is the suggested or Recommended Retail Price of a product, set by the publisher or manufacturer.

  • View basket

  • Your basket is empty

  • Delivery included on your order!

  • View basket

Skip Navigation and go to main content

Delivery included to the United States

Model Checking

Model Checking

Book

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Check stock

    Book information

    ISBN: 9780585385587
    Publisher: Mit Press,.
    Imprint: Mit Press,.
    Language: English

    We recommend

    $8.74off

    Supremacy

    Parmy Olson

    Hardback
    Published 12 Sep 2024

    Save $8.74

    • RRP $30.08
    • $21.34
    Add to basket
    Add to basket

    $0.51off

    Dreamlight Valley

    Stephanie Milton

    Paperback
    Published 07 Nov 2024

    Save $0.51

    • RRP $15.03
    • $14.52
    Add to basket
    Number Go Up

    Zeke Faux

    Paperback
    Published 08 Oct 2024

    • $15.60
    Add to basket
    AI Snake Oil

    Arvind Narayanan, Sa...

    Hardback
    Published 24 Sep 2024

    • $27.73
    Add to basket

    $4.65off

    Genesis

    Henry Kissinger, Cra...

    Hardback
    Published 21 Nov 2024

    Save $4.65

    • RRP $30.08
    • $25.43
    Add to basket

    $5.32off

    Add to basket
    Add to basket

    $7.77off

    Why Machines Learn

    Anil Ananthaswamy

    Hardback
    Published 16 Jul 2024

    Save $7.77

    • RRP $41.02
    • $33.25
    Add to basket

    $2.54off

    Co-Intelligence

    Ethan Mollick

    Paperback
    Published 04 Apr 2024

    Save $2.54

    • RRP $23.23
    • $20.69
    Add to basket