FREE delivery to all EXCLUSIVE BOOKS stores nationwide. FREE delivery to your door on all orders over R450. Excludes all international deliveries.

  • Safe delivery by Christmas SANTA SAFE
    On a Method of Multiprogramming

On a Method of Multiprogramming

W.H.J. Feijen, D. Gries, A.J.M. van Gasteren
    Product form
      FORMAT: Hardback

      R 4,668.84 Price and availability exclusive to website

      YOU COULD EARN 4,668.84 FUTURE RETAIL DISCOUNTS.
      ESTIMATED DELIVERY: Approx. 10 - 15 Business Days
      BUY NOW PAY LATER
      From R 778.14 per month!
      3x monthly payments of R 1,556.28 with
      4x fortnightly payments of R 1,167.21 with
      Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i.e. with the predicate calculus and the well- established theory of Owicki and Gries. They show that the Owicki/Gries theory can be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not.
      Format: CONTRIBUTORS: W.H.J. Feijen, D. Gries, A.J.M. van Gasteren EAN: 9780387988702 COUNTRY: United States PAGES: WEIGHT: 1610 g HEIGHT: 235 cm
      PUBLISHED BY: Springer-Verlag New York Inc. DATE PUBLISHED: 1999-06-11 CITY: GENRE: COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General WIDTH: 155 cm SPINE:

      Book Themes:

      Computer programming / software engineering, Software Engineering, Mathematical theory of computation

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i.e. with the predicate calculus and the well- established theory of Owicki and Gries. They show that the Owicki/Gries theory can be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not.
      Format: CONTRIBUTORS: W.H.J. Feijen, D. Gries, A.J.M. van Gasteren EAN: 9780387988702 COUNTRY: United States PAGES: WEIGHT: 1610 g HEIGHT: 235 cm
      PUBLISHED BY: Springer-Verlag New York Inc. DATE PUBLISHED: 1999-06-11 CITY: GENRE: COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General WIDTH: 155 cm SPINE:

      Book Themes:

      Computer programming / software engineering, Software Engineering, Mathematical theory of computation

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)

      Recently viewed products

      Login

      Forgot your password?

      Don't have an account yet?
      Create account