Momox logo
Sell books & media
Medimops logo
Buy books & more
Your watchlistWatchlistUser loginSign in
All categories
  • SALE

    In the sale you will find especially cheap items or current promotions.

    To sale
  • Sell instead of buy!

    Want to part with books, CDs, movies or games? Sell everything on momox.com

    To momox
All
    cartcart

    A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science, 191, Band 191)

     
    From Howard Barringer
    Only 1 items left in stock
    A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science, 191, Band 191)

    Description

    Flow & Suzuki: Total correctnes of parallel programs.- Jones: Development of interfering programs.- Lamport: Verification of concurrent programs.- Owicki & Gries: Verification of parallel programs.- Apt, Francez & de Roever: Verification of CSP.- Barringer & Mearns: Verification of Ada Tasks.- Levin & Gries: Verification of CSP.- Misra & Chandy: Proofs of process networks.- Zhou & Hoare: Correctness of communicating processes.- Conclusions.

    Product details

    EAN/ISBN:
    9783540152392
    Edition:
    1985
    Medium:
    Paperback
    Number of pages:
    128
    Publication date:
    2008-06-13
    Publisher:
    Springer
    EAN/ISBN:
    9783540152392
    Edition:
    1985
    Medium:
    Paperback
    Number of pages:
    128
    Publication date:
    2008-06-13
    Publisher:
    Springer

    Shipping

    laposte
    Buy on Amazon
    The edition supplied may vary.
    Condition
    Condition
    Learn more
    €4.99
    Used - good
    €4.99
    available immediately
    New €24.60 You save €19.61 (79%)
    €4.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

    More from Howard Barringer

    Recommended for you

    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    ‌
    momox books logo
    Customer Service
    Hotline
    • phone+49 30 488 288 200
    • Monday - Friday: 09.00 - 18.00 hr


    International


    Order safely


    medimops magazine
    About us
    Newsletter
    Special offers, vouchers and much more! Subscribe to the newsletter and get a one-off 10% discount on your next purchase. By subscribing to the newsletter, you consent to your data being used by advertising partners for newsletter tracking and cross-channel advertising purposes in order to provide you with personalized recommendations and advertising. You can revoke your consent at any time with future effect. You can find further information in the data protection declaration.
    Do you want to find out more?
    Secure payment
    paypalvisamastercardamexcartebleue
    Shipping partner
    laposte
    You can also find us here
    • Instagram logo
    • Facebook logo

    © 2024 momox SE Berlin. Buy used CDs, DVDs, books, films and games cheaply and securely online.