Sale
On a Method of Multiprogramming (Monographs in Computer Science)
Springer
ISBN13:
9780387988702
$211.47
$199.99
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.
- | Author: W.H.J. Feijen
- | Publisher: Springer
- | Publication Date: June 11, 1999
- | Number of Pages: 370 pages
- | Language: English
- | Binding: Hardcover
- | ISBN-10: 038798870X
- | ISBN-13: 9780387988702
- Author:
- W.H.J. Feijen
- Publisher:
- Springer
- Publication Date:
- June 11, 1999
- Number of pages:
- 370 pages
- Language:
- English
- Binding:
- Hardcover
- ISBN-10:
- 038798870X
- ISBN-13:
- 9780387988702