Skip your Account's links

$ USD

Advanced search

0 items

$0.00
  • Your basket
  • The RRP is the suggested or Recommended Retail Price of a product, set by the publisher or manufacturer.

  • View basket

  • Your basket is empty

  • Delivery included on your order!

  • View basket

Skip Navigation and go to main content

Delivery included to the United States

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs - Texts and Monographs in Computer Science

Book (01 Jan 1991)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Check stock

    Other formats & editions

    New
    Hardback (05 Oct 2009) - 3rd, extended Edition RRP $124.90 $109.44

    Publisher's Synopsis

    Systematic discussion of deterministic and nondeterministic programs, parallel programs with shared variables, and distributed programs with message passing. In each case the authors concentrate on operational semantics, syntax-directed assertional proof systems and their soundness proofs, and a correctness proof of a substantial example. For a one

    Book information

    ISBN: 9780387975320
    Publisher: Springer-Verlag
    Imprint: Springer-Verlag
    Pub date:
    DEWEY: 005.14
    DEWEY edition: 20
    Language: English
    Number of pages: 441
    Weight: -1g

    We recommend

    $11.55off

    Clean Code

    Robert C. Martin

    Paperback
    Published 21 Aug 2008

    Save $11.55

    • RRP $61.06
    • $49.51
    Add to basket

    $19.68off

    Add to basket
    Add to basket

    $2.93off

    Add to basket
    Add to basket
    Add to basket
    Add to basket

    $17.60off

    Add to basket

    $4.80off

    Add to basket
    Industry 6.0

    C. Kishor Kumar Redd...

    Hardback
    Published 16 Oct 2024

    • $191.95
    Add to basket