• Home
  • Model Checking, second edition (Cyber Physical Systems Series)
Model Checking, second edition (Cyber Physical Systems Series)

Model Checking, second edition (Cyber Physical Systems Series)

Edmund M. Clarke Jr.

MIA KARTS BOOKS

Model Checking, second edition (Cyber Physical Systems Se...
  • Model Checking, second edition (Cyber Physical Systems Series)

    Model Checking, second edition (Cyber Physical Systems Series)

    $90.00 USD
    Available

    Book Details

    Author
    Edmund M. Clarke Jr.
    Publisher
    MIT Press
    Format
    Hardcover
    Condition
    New
    ISBN-13
    9780262038836
    ISBN-10
    0262038838

    Free U.S. shipping on all orders. International shipping is calculated at checkout.

    Condition: New

    Guaranteed safe checkout

    Product description

    ISBN: 0262038838

    Author: MIT Press

    Model Checking, second edition (Cyber Physical Systems Series). by MIT Press. Category: ABIS_BOOK.
    View full details

    Model Checking, second edition (Cyber Physical Systems Series)
    RECENTLY VIEWED PRODUCTS

    Why Shop Miakarts Books?

    Wide Selection

    Discover books across many categories and subjects.

    Secure Checkout

    Shop with a secure online checkout experience.

    Detailed Book Information

    View ISBN, author, publisher, format and other available book details.

    Easy Online Ordering

    Browse, select and order books online.

    Customer Support

    Contact us if you need help with an order or product.