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
|
| Foreword by: |
D. Gries
|
| Authors: |
A.J.M. van Gasteren
|
| Dimensions: |
235 x 155 x 20mm (L x W x T) |
| Format: |
Paperback
|
| Pages: |
370 |
| Edition: |
Softcover reprint of hardcover 1st ed. 1999 |
| ISBN-13: |
978-1-4419-3179-5 |
| Categories: |
Books >
Computing & IT >
Computer programming >
Software engineering
|
| LSN: |
1-4419-3179-1 |
| Barcode: |
9781441931795 |
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!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
