Items related to On a Method of Multiprogramming (Monographs in Computer...

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

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

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.

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

  • PublisherSpringer
  • Publication date2010
  • ISBN 10 1441931791
  • ISBN 13 9781441931795
  • BindingPaperback
  • LanguageEnglish
  • Number of pages390

Buy New

View this item

£ 9.33 shipping from Germany to United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

9780387988702: On a Method of Multiprogramming (Monographs in Computer Science)

Featured Edition

ISBN 10:  038798870X ISBN 13:  9780387988702
Publisher: Springer, 1999
Hardcover

Search results for On a Method of Multiprogramming (Monographs in Computer...

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.53
Convert currency
Shipping: £ 9.33
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: Ria Christie Collections, Uxbridge, United Kingdom

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

Condition: New. In. Seller Inventory # ria9781441931795_new

Contact seller

Buy New

£ 139.22
Convert currency
Shipping: FREE
Within United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

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

£ 118.97
Convert currency
Shipping: £ 21.20
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, 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

£ 143.72
Convert currency
Shipping: £ 11.87
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 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.23
Convert currency
Shipping: £ 29.69
From Germany to United Kingdom
Destination, rates & speeds

Quantity: 1 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.53
Convert currency
Shipping: £ 55.28
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: Over 20 available

Add to basket