Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
On a Method of Multiprogramming
Best Price (Coupon Required):
Buy On a Method of Multiprogramming for $116.10 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$116.10 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Before its Too Late
$39.99
Populist Discourse in Venezuela and the United States
$54.99
Advances in Applied Strategic Mine Planning
$139.00
Dynamic Model Analysis
$139.99
Manufacturing of Gene Therapeutics
$169.00
Demokratie in einer globalen Welt
$49.99
American Shale Energy and the Global Economy
$54.99
Early Jesuit Travellers in Central Asia, 16031721
$54.99
Economics of Art and Culture
$69.99
ALLPLAN/ALLPLOT CAD-Basis
$59.99
Innovative Design, Analysis and Development Practices in Aerospace and Automotive Engineering (I-DAD
$249.99
Fortschritte der Chemischen Forschung
$44.99
Die immunsuppressive Therapie der chronisch-aktiven Hepatitis
$69.99
Homotopy Analysis Method in Nonlinear Differential Equations
$89.00
Video Search and Mining
$129.00
Wastewater from Olive Oil Production
$139.00
Formal Linguistics and Language Education
$119.00
Data Modeling of Financial Derivatives
$59.99
Doping of Carbon Nanotubes
$109.99
Digging for Dinos: A Branches Book (Haggis and Tank Unleashed #2)
$5.24
Fotografie als Methode in der Sozialforschung
$74.99
Ein neues Gert und neue bungen der schwedischen Heilgymnastik zur Behandlung von Rckgrats-Verkrm
$59.99
PreK On My Way Spanish Complete Set
$2,950.00
Applied Degree Education and the Future of Learning
$149.00
Materials Research for Manufacturing
$129.00
Programming Languages and Systems
$109.99
Research in Early Childhood Science Education
$179.99
BASIC-Programme zur Regelungstechnik
$59.99
Thermal Engineering Volume 1
$109.99
Das allgemeine Verwaltungsrecht als Ordnungsidee
$159.99
Die Berechnung der Anheizung und Auskhlung ebener und zylindrischer Wnde (Huser und Rohrleitungen
$49.99
Shareholder-Value-Management
$44.99
Schaltzeitverkrzung im schweren Nutzfahrzeug mittels Synchronisation durch eine induzierte Antriebs
$49.99
Neural and Neuroendocrine Mechanisms in Host Defense and Autoimmunity
$169.99
Beitrge zum Studium der Kupferelektrolyse in kupferchlorrhaltigen Elektrolyten
$49.99
Proceedings of the First U.S./Japan Conference on the Frontiers of Statistical Modeling: An Informat
$329.99
Governance-Regime des Transfers von Bildung fr nachhaltige Entwicklung
$69.99
Linguistic Discrimination of LGBTQ+ People as a Deterrent to Economic Performance
$119.99
Emergency Contraception
$84.99
Transport Processes in Macroscopically Disordered Media
$169.99
