On a Method of Multiprogramming (Monographs in Computer Science)

Feijen, W.H.J. J.; Gasteren, A.J.M. Van

ISBN 10: 1441931791 ISBN 13: 9781441931795
Published by Springer, 2010
New Soft cover

From Ria Christie Collections, Uxbridge, United Kingdom Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

AbeBooks Seller since 25 March 2015

This specific item is no longer available.

About this Item

Description:

In. Seller Inventory # ria9781441931795_new

Report this item

Synopsis:

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.

"About this title" may belong to another edition of this title.

Bibliographic Details

Title: On a Method of Multiprogramming (Monographs ...
Publisher: Springer
Publication Date: 2010
Binding: Soft cover
Condition: New

Top Search Results from the AbeBooks Marketplace

Seller Image

W.H.J. Feijen|A.J.M. van Gasteren
Published by Springer New York, 2010
ISBN 10: 1441931791 ISBN 13: 9781441931795
New Kartoniert / Broschiert
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Kartoniert / Broschiert. 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

Contact seller

Buy New

£ 119.42
Convert currency
Shipping: £ 21.28
From Germany to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

W. H. J. Feijen
Published by Springer New York Dez 2010, 2010
ISBN 10: 1441931791 ISBN 13: 9781441931795
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

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

Contact seller

Buy New

£ 121.99
Convert currency
Shipping: £ 9.37
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 2 available

Add to basket

Stock Image

Feijen, W.H.J. J.; Gasteren, A.J.M. Van
Published by Springer, 2010
ISBN 10: 1441931791 ISBN 13: 9781441931795
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar2411530294764

Contact seller

Buy New

£ 135.71
Convert currency
Shipping: £ 55.35
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

W. H. J. Feijen
ISBN 10: 1441931791 ISBN 13: 9781441931795
New Taschenbuch
Print on Demand

Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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 to the uninitiated, but it may all the more come as a surprise to those who were exposed earlier to correctness of multiprograms. Contrary to common belief, the Owicki/Gries theory can indeed be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not. That is what we intend to exemplify with this book.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 392 pp. Englisch. Seller Inventory # 9781441931795

Contact seller

Buy New

£ 140.76
Convert currency
Shipping: £ 29.80
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

W. H. J. Feijen
Published by Springer New York, 2010
ISBN 10: 1441931791 ISBN 13: 9781441931795
New Taschenbuch

Seller: AHA-BUCH GmbH, Einbeck, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 to the uninitiated, but it may all the more come as a surprise to those who were exposed earlier to correctness of multiprograms. Contrary to common belief, the Owicki/Gries theory can indeed be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not. That is what we intend to exemplify with this book. Seller Inventory # 9781441931795

Contact seller

Buy New

£ 144.27
Convert currency
Shipping: £ 11.91
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket