0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Software engineering

Buy Now

On a Method of Multiprogramming (Paperback, Softcover reprint of hardcover 1st ed. 1999) Loot Price: R2,337
Discovery Miles 23 370
You Save: R131 (5%)
  • This item is a special order that could take a long time to obtain.

On a Method of Multiprogramming (Paperback, Softcover reprint of hardcover 1st ed. 1999): W.H.J. Feijen, A.J.M. van Gasteren
On a Method of Multiprogramming (Paperback, Softcover reprint of hardcover 1st ed. 1999): W.H.J. Feijen, A.J.M. van Gasteren

Share your images

On a Method of Multiprogramming (Paperback, Softcover reprint of hardcover 1st ed. 1999)

W.H.J. Feijen, A.J.M. van Gasteren; Foreword by David Gries

Series: Monographs in Computer Science

 (sign in to rate)
List price R2,468 Loot Price R2,337 Discovery Miles 23 370 | Repayment Terms: R217 pm x 12* You Save R131 (5%)

Bookmark and Share

Our supplier does not have stock of this product at present, but we can create a special order for you. Alternatively, if you add it to your wishlist we will send you an email message should it become available from stock. Special orders from this supplier are normally fulfilled within 31 - 41 working days. Please note:

  • Special order items cannot be combined on an order with other items.
  • Special orders can sometimes take significantly longer than this estimate and sometimes our suppliers may be unable to fill a special order.
  • We cannot accept returns of special order titles.
  • If we haven't been able to get the product for you within about 3 months, we will automatically cancel the order and fully refund any payments that you have made.

New to special orders? Find out more.

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.

General

Imprint: Springer-Verlag New York
Country of origin: United States
Series: Monographs in Computer Science
Release date: December 2010
First published: 1999
Authors: W.H.J. Feijen • A.J.M. van Gasteren
Foreword by: David Gries
Dimensions: 234 x 156 x 20mm (L x W x T)
Format: Paperback - Trade
Pages: 390
Edition: Softcover reprint of hardcover 1st ed. 1999
ISBN-13: 978-1-4419-3179-5
Barcode: 9781441931795
Categories: Promotions
Books > Computing & IT > Computer programming > Algorithms & procedures
Books > Computing & IT > Computer programming > Software engineering
Books > Computing & IT > General theory of computing > Data structures
Books > Computing & IT > Computer hardware & operating systems > Operating systems & graphical user interfaces (GUIs)
Books > Computing & IT > Computer hardware & operating systems > Operating systems & graphical user interfaces (GUIs) > General
LSN: 1-4419-3179-1

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

Loyalty partners