.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
On a Method of Multiprogramming
Feijen, W.H.J. (Eindhoven University Of Technology, Eindhoven, The Netherlands); Gasteren, A.J.M. Van (Eindhoven University Of Technology, Eindhoven,
€ 201.80
FREE Delivery in Ireland
Description for On a Method of Multiprogramming
Hardback. Describes about how to design parallel programs from their specification. This book follows from the Owicki/Gries theory and can be put to work for the formal development of multiprograms regardless of whether these algorithms are distributed or not. Series: Monographs in Computer Science. Num Pages: 390 pages, biography. BIC Classification: UL; UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 240 x 164 x 28. Weight in Grams: 706.
Among all the interests in parallelism, there is an essential and fundamental one that has remained largely unexplored, namely the question of how to design parallel programs from their specification. And that is what this book is about. It proposes a method for the formal development of parallel programs - multiprograms as we have preferred to call them -, and it does so with a minimum of formal gear, viz. with the predicate calculus and with the meanwhile well-established theory of Owicki and Gries. The fact that one can get away with just this theory will probably not convey anything ... Read more
Among all the interests in parallelism, there is an essential and fundamental one that has remained largely unexplored, namely the question of how to design parallel programs from their specification. And that is what this book is about. It proposes a method for the formal development of parallel programs - multiprograms as we have preferred to call them -, and it does so with a minimum of formal gear, viz. with the predicate calculus and with the meanwhile well-established theory of Owicki and Gries. The fact that one can get away with just this theory will probably not convey anything ... Read more
Product Details
Format
Hardback
Publication date
1999
Publisher
Springer-Verlag New York Inc. United States
Number of pages
390
Condition
New
Series
Monographs in Computer Science
Number of Pages
370
Place of Publication
New York, NY, United States
ISBN
9780387988702
SKU
V9780387988702
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for On a Method of Multiprogramming