cartcart

    Real-Time Systems: Formal Specification and Automatic Verification

     
    Only 1 items left in stock
    Real-Time Systems: Formal Specification and Automatic Verification

    Description


    Explains real-time specification techniques (duration calculus, timed automata, and PLC-automata) needed for embedded safety-critical applications.

    Product details

    EAN/ISBN:
    9780521883337
    Edition:
    1
    Medium:
    Bound edition
    Number of pages:
    344
    Publication date:
    2008-09-11
    Publisher:
    Cambridge University Press
    EAN/ISBN:
    9780521883337
    Edition:
    1
    Medium:
    Bound edition
    Number of pages:
    344
    Publication date:
    2008-09-11
    Publisher:
    Cambridge University Press

    Shipping

    laposte
    The edition supplied may vary.
    Condition
    Condition
    Learn more
    €55.99
    available immediately
    New €96.60 You save €40.61 (42%)
    €55.99
    incl. VAT, plus  Shipping costs
    paypalvisamastercardamexcartebleue
    • Icon badgeChecked second-hand items
    • Icon packageFree shipping from 19 €
    • Icon vanWith you in 2-4 working days

    Recommended for you