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

    Formal System Verification

    Categories
    Non Fiction
    Computers
    Formal System Verification

    by: Rolf Drechsler

    Condition

    Used
    New / Like New

    Format

    Paperback
    Hardcover

    Discover more

    Formal System Verification

    Formal System Verification

    By: Rolf Drechsler

    1 copy available

    Rare find!
    Only 1 copy left.

    $20.00

    Similar books

    A Court of Thorns and Roses

    Sarah J. Maas

    4.2

    A Court of Thorns and Roses

    $6.00
    It Ends with Us

    Colleen Hoover

    3.9

    It Ends with Us

    $1.00$2.00
    Cherokee America

    Margaret Verble

    Cherokee America

    $3.00$4.00
    House of Earth and Blood

    Sarah J. Maas

    4.3

    House of Earth and Blood

    $5.00
    Tomorrow, and Tomorrow, and Tomorrow

    Gabrielle Zevin

    4.3

    Tomorrow, and Tomorrow, and Tomorrow

    $4.00$5.00
    Fourth Wing

    Rebecca Yarros

    4.6

    Fourth Wing

    $11.00
    Verity

    Colleen Hoover

    4.1

    Verity

    $5.00
    The Seven Husbands of Evelyn Hugo

    Taylor Jenkins Reid

    4.5

    The Seven Husbands of Evelyn Hugo

    $2.00
    The Housemaid

    Freida McFadden

    4.5

    The Housemaid

    $3.75$4.25
    The Silent Patient

    Alex Michaelides

    4.2

    The Silent Patient

    $6.00
    RN Adult Medical Surgical Nursing Edition 9. 0

    Ascend Learning

    RN Adult Medical Surgical Nursing Edition 9. 0

    $25.00
    Throne of Glass

    Sarah J. Maas

    4.4

    Throne of Glass

    $5.00
    The Dragon and the Unicorn

    A. A. Attanasio

    The Dragon and the Unicorn

    $5.00

    Seller Description

    Like new!

    Product Details

    Category - Non Fiction / Computers

    Format - Hardcover

    Condition - Like New

    Listed - A year ago

    Views - 2

    Ships From - New Mexico

    Est. Publication Date - Jul 2017

    Overview

    Publisher Description

    This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest devel...

    Read more

    Be the first one to review

    Review the book today!

    Rate the book
    Published
    Drafts

    Meet the seller

    Greg Trost
    Active This Week
    Greg Trost
    (5)