Even with all the interest in parallelism and parallel processing, there is still something missing. This book is about how to design parallel programs from their specification. It 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.
"synopsis" may belong to another edition of this title.
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Condition: new. Questo è un articolo print on demand. Seller Inventory # IQ9YW0EMWU
Quantity: Over 20 available
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 392 pp. Englisch. Seller Inventory # 9781441931795
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New. Seller Inventory # 11987178-n
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 Owick. Seller Inventory # 4173632
Quantity: Over 20 available
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. In English. Seller Inventory # ria9781441931795_new
Quantity: Over 20 available
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. On a Method of Multiprogramming | W. H. J. Feijen (u. a.) | Taschenbuch | Monographs in Computer Science | xx | Englisch | 2010 | Springer | EAN 9781441931795 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 107174052
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Even with all the interest in parallelism and parallel processing, there is still something missing. This book is about how to design parallel programs from their specification. It 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 392 pp. Englisch. Seller Inventory # 9781441931795
Seller: Books Puddle, Woodside, NY, U.S.A.
Condition: New. pp. 392. Seller Inventory # 263068004
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand pp. 392 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5861307
Quantity: 4 available
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New. PRINT ON DEMAND pp. 392. Seller Inventory # 183068014