Cancel
Secure Checkout
AboutFAQ
    • Log in
    Log in

    Browse by categories

    Collections
    Bookstores
    Shelves
    Pango AI
    Popular Authors
    Popular Book Series
    Sell your books
    About Us
    Blog
    Market Guide
    Help Center
    Contact Us
    Cancel

    Shop

    • Bookstores
    • Collections
    • Categories
    • Authors
    • Gift cards
    • Shelves
    • Series

    Sell

    • Sellers Resource Hub
    • Ambassador
    • Market Guide

    Company

    • About Us
    • Blog
    • Trust and Safety

    Help

    • Help Center
    • Contact Us
    • PangoBucks FAQ
    • Feature Requests
    • © PangoBooks 2025. All rights reserved.
    • Terms of Use
    • Privacy Policy

    Pango Buyer Protection

    PangoBooks money back guarantee. Learn more

    Recently Viewed

    Pango
    Pango AI
    Your personal Pangolin book shopper is here to help you find the perfect book!

    Chat with Pango

    Principles of Model Checking

    by: Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

    Principles of Model Checking

    Categories
    Textbook/Educational Curriculum
    College & Above

    Condition

    Used
    New / Like New

    Format

    Paperback
    Hardcover
    Rare find!
    Only 1 copy left.

    $20.00 $35.00

    Discover more

    Principles of Model Checking

    Principles of Model Checking

    By: Christel Baier

    1 copy available

    Similar books

    Toilet-Bound Hanako-kun, Vol. 10

    AidaIro

    Toilet-Bound Hanako-kun, Vol. 10

    $10.00
    The Apothecary Diaries 01

    Itsuki Nanao

    4.8

    The Apothecary Diaries 01

    $9.00$11.00
    The Miracle of Mindfulness, Gift Edition

    Thich Nhat Hanh

    The Miracle of Mindfulness, Gift Edition

    $2.00$2.50
    Signs Preceding the End of the World

    Yuri Herrera

    Signs Preceding the End of the World

    $5.00
    Solo Leveling, Vol. 2 (comic)

    DUBU

    5.0

    Solo Leveling, Vol. 2 (comic)

    $15.00
    Gentle Rogue

    Johanna Lindsey

    Gentle Rogue

    $1.00
    Sex Cult Nun

    Faith Jones

    5.0

    Sex Cult Nun

    $7.00
    The Masterpiece

    Francine Rivers

    4.0

    The Masterpiece

    $2.00$5.00
    Praise

    Sara Cate

    5.0

    Praise

    $125.00
    Mercy

    Sara Cate

    5.0

    Mercy

    $10.00
    A Most English Princess

    Clare McHugh

    A Most English Princess

    $2.25
    Keep It Shut

    Karen Ehman

    Keep It Shut

    $4.00
    I Know This Much Is True

    Wally Lamb

    5.0

    I Know This Much Is True

    $5.00
    Twilight Out of Focus 1

    Jyanome

    Twilight Out of Focus 1

    $8.28

    Overview

    Publisher Description

    A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical ex...

    Read more

    Seller Description

    The cover has some small dents, tears and scratches. The binding is a little damaged. One page is written on.

    Product Details

    Category - Textbook/Educational Curriculum / College & Above

    Format - Hardcover

    Condition - Fair

    Listed - A year ago

    Views - 13

    Ships From - New Mexico

    Est. Publication Date - Apr 2008

    Be the first one to review

    Review the book today!

    Rate the book
    Published
    Drafts

    Meet the seller

    Greg Trost
    Active Yesterday
    Greg Trost
    (5)