Home  Books  Search: Concurrency Verification: Introduction to Compositional and Non-Compositional Methods

You Searched Books for: Concurrency Verification: Introduction to Compositional and Non-Compositional Methods

Showing 1-1 of 1 item

    1.

    Cover Image

    Concurrency Verification : Introduction to Compositional and Non-Compositional Methods by Willem-Paul de Roever, Jozef Hooman, Frank de Boer

    Textbook Hardcover - New Edition

    Fast & Free DeilveryDetails

    • ISBN-13: 9780521806084
    • Pub. Date: October 2001

    Advanced textbook on verification of concurrent programs using a semantic approach which highlights concepts clearly.  More

    A new copy is not available from Barnes & Noble.com at this time.

      • Add To List uiAction=GetAllLists&page=List&pageType=list&ean=9780521806084&productCode=BK&maxCount=100&threshold=3

      Showing 1-1 of 1 item

        Enter a zip code:

        Find
        Refine
         

        Search within this list:

        Go