9780387988702-038798870X-On a Method of Multiprogramming (Monographs in Computer Science)

On a Method of Multiprogramming (Monographs in Computer Science)

ISBN-13: 9780387988702
ISBN-10: 038798870X
Edition: 1999
Author: W.H.J. Feijen, A.J.M. van Gasteren
Publication date: 1999
Publisher: Springer
Format: Hardcover 390 pages
FREE US shipping
Buy

From $47.70

Book details

ISBN-13: 9780387988702
ISBN-10: 038798870X
Edition: 1999
Author: W.H.J. Feijen, A.J.M. van Gasteren
Publication date: 1999
Publisher: Springer
Format: Hardcover 390 pages

Summary

On a Method of Multiprogramming (Monographs in Computer Science) (ISBN-13: 9780387988702 and ISBN-10: 038798870X), written by authors W.H.J. Feijen, A.J.M. van Gasteren, was published by Springer in 1999. With an overall rating of 3.5 stars, it's a notable title among other Business Technology (Computer Science, Microsoft Programming, Programming, Parallel Programming) books. You can easily purchase or rent On a Method of Multiprogramming (Monographs in Computer Science) (Hardcover) from BooksRun, along with many other new and used Business Technology books and textbooks. And, if you're looking to sell your copy, our current buyback offer is $0.3.

Description

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.

Rate this book Rate this book

We would LOVE it if you could help us and other readers by reviewing the book