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 |
|
$129.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Border Lampedusa
$79.99
World Congress on Medical Physics and Biomedical Engineering September 7 - 12, 2009 Munich, Germany
$219.99
Religionsphilosophie
$19.99
Verhaltensorientiertes Innovationsmanagement
$44.99
The Legacy of Hans Freudenthal
$109.99
Abstammungslehre und Darwinismus
$49.99
Tuberkulose-Jahrbuch 1960
$44.99
Algorithms in Bioinformatics
$109.99
Behavioral Neuroscience of Drug Addiction
$279.99
Tomita's Lectures on Observable Algebras in Hilbert Space
$59.99
Vergaberecht
$84.99
Nitrates and Nitrate Tolerance in Angina Pectoris
$109.99
Quantitative Finance
$99.00
Systematic Design of Analog IP Blocks
$109.99
Lectures on Euclidean Geometry - Volume 2
$99.99
Bauchgefhl im Management
$74.99
Peace Building in Northern Ireland, Israel and South Africa
$109.99
Exercise and Sports Pulmonology
$129.99
High-Tc Superconductors
$169.99
Plant-Animal Interactions
$129.99
Vapor Intrusion Simulations and Risk Assessments
$159.99
International Handbook of Educational Change
$549.99
Multi-Agent-Based Simulation XXI
$54.99
Models of Phase Transitions
$84.99
W.H.Hudson And The Elusive Paradise
$34.99
Interdisziplinre Perspektiven der Phnomenologie
$159.99
Feminist Community Engagement
$54.99
Mathematical Foundations of Computer Science 1998
$84.99
The 'No-Nonsense' Guide to Doing Business in Japan
$84.99
Context-Aware Systems and Applications
$69.99
Economics of Electronic Design, Manufacture and Test
$109.99
The Palgrave Handbook of Populism
$249.99
Wissensmanagementsysteme in Unternehmen
$74.99
Designing CMOS Circuits for Low Power
$249.99
Noise and Vibration Mitigation for Rail Transportation Systems
$169.00
Life of Thomas Hardy
$74.99
Real Time Control of Scale Systems
$39.99
Organogenetic Gene Networks
$129.00
Dynamical Chaos in Planetary Systems
$199.99
