cartcart

    Deductive Program Design (Nato ASI Subseries F:)

     
    Deductive Program Design (Nato ASI Subseries F:)

    Description

    Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art.

    Product details

    EAN/ISBN:
    9783540609476
    Edition:
    1996
    Medium:
    Bound edition
    Number of pages:
    470
    Publication date:
    1996-06-18
    Publisher:
    Springer
    Languages:
    english
    EAN/ISBN:
    9783540609476
    Edition:
    1996
    Medium:
    Bound edition
    Number of pages:
    470
    Publication date:
    1996-06-18
    Publisher:
    Springer
    Languages:
    english

    Shipping

    laposte
    The edition supplied may vary.
    Currently sold out

    Recommended for you