Copied On a Method of Multiprogramming
On a Method of Multiprogramming
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$129.00 | $129.00 |
|
$116.10 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Recent Advances in Nervous System Toxicology
$39.99
Peppa Pig: On the Road
$6.74
Redrawing the Class Map
$169.99
The Golden Age of Russian Literature and Thought
$149.00
Informatik auf den Punkt gebracht
$39.99
Sustainable Innovations in Food Packaging
$59.99
Foundations of Classical Electrodynamics
$99.99
Cardiac Regeneration
$169.99
Watching the Detectives
$44.99
Excel 2019 for Human Resource Management Statistics
$39.99
Bacteriophage Therapy
$149.00
Self Healing Materials
$169.99
Engineering Software III
$169.99
Principles of Process Planning
$169.99
Kierkegaard on Politics
$54.99
Kointegration und strategische Planung
$49.99
Drivers of Global Business Success
$109.99
Retirement, Pensions and Justice
$59.99
Die Forth-Brcke
$54.99
Structural Adjustment in Developed Open Economies
$169.99
Multikulturelle Bildungspolitik in der Postmoderne
$59.99
Teilhabe an Arbeit und Beschftigung
$49.99
The Effects of Traffic Structure on Application and Network Performance
$54.99
Financial Crime and Knowledge Workers
$109.99
Die Sogenannten Geschlechter im Indo-Europischen und im Latein
$59.99
The Australian Army Uniform and the Government Clothing Factory
$109.00
Kompendium der Statik der Baukonstruktionen
$59.99
Environmental External Costs of Transport
$219.99
Molecular Models of Photoresponsiveness
$39.99
Cognitive Wireless Communication Networks
$169.99
Software Composition
$54.99
Procurement Marketing
$54.99
Biotechnologies of Crop Improvement, Volume 1
$219.99
Das Herpesbuch
$59.99
Bioactivity of Engineered Nanoparticles
$84.99
International Perspectives in Educational Effectiveness Research
$149.00
Entropy, Absolute Temperature and Coldness in Thermodynamics
$54.99
Handel und Umwelt
$59.99
Radiopharmaceutical Chemistry
$199.99
Revisiting Supply Chain Risk
$139.00
