On a Method of Multiprogramming
W. H. J. Feijen
From AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
AbeBooks Seller since 14 August 2006
New - Hardcover
Quantity: 1 available
Add to basketFrom AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
AbeBooks Seller since 14 August 2006
Quantity: 1 available
Add to basketAbout this Item
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 # 9780387988702
Bibliographic Details
Title: On a Method of Multiprogramming
Publisher: Springer New York, Springer US
Publication Date: 1999
Binding: Buch
Condition: Neu
About this title
"About this title" may belong to another edition of this title.
Store Description
General Terms and Conditions and Customer Information / Privacy Policy
I. General Terms and Conditions
§ 1 Basic provisions
(1) The following terms and conditions apply to all contracts that you conclude with us as a provider (AHA-BUCH GmbH) via the Internet platforms AbeBooks and/or ZVAB. Unless otherwise agreed, the inclusion of any of your own terms and conditions used by you will be objected to
(2) A consumer within the meaning of the following regulations is any natural person who concludes...
More InformationWe ship your order after we received them
for articles on hand latest 24 hours,
for articles with overnight supply latest 48 hours.
In case we need to order an article from our supplier our dispatch time depends on the reception date of the articles, but the articles will be shipped on the same day.
Our goal is to send the ordered articles in the fastest, but also most efficient and secure way to our customers.
Payment Methods
accepted by seller