9781441931795-1441931791-On a Method of Multiprogramming (Monographs in Computer Science)

On a Method of Multiprogramming (Monographs in Computer Science)

ISBN-13: 9781441931795
ISBN-10: 1441931791
Edition: Softcover reprint of hardcover 1st ed. 1999
Author: W.H.J. Feijen, A.J.M. van Gasteren
Publication date: 2010
Publisher: Springer
Format: Paperback 390 pages
FREE US shipping

Book details

ISBN-13: 9781441931795
ISBN-10: 1441931791
Edition: Softcover reprint of hardcover 1st ed. 1999
Author: W.H.J. Feijen, A.J.M. van Gasteren
Publication date: 2010
Publisher: Springer
Format: Paperback 390 pages

Summary

On a Method of Multiprogramming (Monographs in Computer Science) (ISBN-13: 9781441931795 and ISBN-10: 1441931791), written by authors W.H.J. Feijen, A.J.M. van Gasteren, was published by Springer in 2010. With an overall rating of 4.3 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) (Paperback) 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