.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,
€ 199.15
FREE Delivery in Ireland
Description for On a Method of Multiprogramming
paperback. Series: Monographs in Computer Science. Num Pages: 390 pages, biography. BIC Classification: UL; UMB; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 20. Weight in Grams: 548.
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
Paperback
Publication date
2010
Publisher
Springer/Sci-Tech/Trade 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
9781441931795
SKU
V9781441931795
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for On a Method of Multiprogramming