On A Method Of Multiprogramming(1st Edition)
Authors:
W H J Feijen ,A J M Van Gasteren ,D Gries
In Stock: 2 Left
Shipment time
Expected shipping within 2 - 3 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: B001HCV5SQ, 978-1475731262
Book publisher: Springer
Book Price $0 : 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.
Customers also bought these books (16)
Managing Business Process Flows Principles of Operations Management - 3rd edition
Ravi Anupindi
ISBN: 136036376, 978-0136036371
$0 $62.95
Fundamentals Of Financial Management - 13th Revised Edition
James Van Horne
ISBN: 978-0273713630, 273713639
$0 $26.46
Numerical Methods For Engineers - 5th Edition
Steven C. Chapra
ISBN: 978-0071244299, 0071244298
$0 $52.99
Financial Accounting an introduction to concepts, methods and uses - 13th Edition
Clyde P. Stickney
ISBN: 978-0538776080, 324651147, 538776080, 9780324651140, 978-0324789003
$228.87 $326.95
Compiling Natural Semantics - 1st Edition
Mikael Pettersson
ISBN: 3540659684, 978-3540659686
$0 $54.99
Principle Based Parsing Computation And Psycholinguistics - 1st Edition
R C Berwick S P Abney C L Tenny
ISBN: 0792316371, 978-0792316374
$98.06 $140.08
Principle Based Parsing Computation And Psycholinguistics - 1st Edition
R C Berwick
ISBN: 0792311736, 978-0792311737
$98.06 $140.08
Reconfigurable Computing The Theory And Practice Of Fpga Based Computation - 1st Edition
Scott Hauck
ISBN: B001BY23FO, 978-0080556017
$0 $32.98
Evolutionary Computation In Gene Regulatory Network Research - 1st Edition
Hitoshi Iba
ISBN: 1118911512, 978-1118911518
$97.9 $139.85
The Techsavvy Handbook A Compendium On Data Science And Enterprise Software Engineering - 1st Edition
Jevon Morris
ISBN: B0B5KKBSRZ, 979-8837937057
$0 $53.37
Differential Equations and Linear Algebra - 2nd edition
Jerry Farlow
ISBN: 131860615, 978-0131860612
$0 $23.85
Applied Statistics In Business And Economics - 6th Edition
David Doane
ISBN: 1259957594, 978-1259957598
$0 $62.93
Interactive Theorem Proving And Program Development - 1st Edition
Yves Bertot
ISBN: 3540208542, 978-3540208549
$0 $70.00
The Practice Of Formal Methods Essays In Honour Of Cliff Jones Part Ii - 1st Edition
Ana Cavalcanti
ISBN: B0DG3FV8CS, 978-3031666735
$0 $34.49Popular Among Students (12)
Statistics Theory And Methods - 1st Edition
Donald A Berry
ISBN: 0534099424, 9780534099428
$0 $20.00
LaunchPad For Discovering Statistics - 3rd Edition
Daniel T Larose
ISBN: 1319047254, 9781319047252
$0 $28.00
Conflict Resolution In The Workplace Workbook - 1st Edition
Dr. Renee Pleasant
ISBN: B0CDNN35XB
$0 $13.99
Hr Hacks The Only Resource You Need To Run A Small Hr Department - 1st Edition
Lori Kleiman
ISBN: 979-8806336539
$97.3 $139.00
Tree Roots In The Built Environment - 1st Edition
John Roberts
ISBN: 0117536202, 978-0117536203
$132.62 $189.45
Foundations Of Computing An Accessible Introduction To Formal Languages - 1st Edition
Charles D Allison
ISBN: 0578944170, 978-05789441730578944170,978-0578944173
$0 $54.95
The Harmonic Mind From Neural Computation To Optimality Theoretic Grammarvolume I Cognitive Architecture - 1st Edition
Paul Smolensky
ISBN: B001PGXLK4
$98.87 $141.24
Logiciels Libres Open Source Quest Ce Que Cest - 1st Edition
Benoit Chevalier
ISBN: 2914010648, 978-2914010641
$0 $8.01
The Dash Diet Cookbook 2020 Quick And Easy Dash Diet Recipes For Health And Weight Loss With Pictures - 1st Edition
John Terry
ISBN: B08LNLCLZP, 979-8552000302
$0 $8.99
The Continuous Improvement Primer An Introduction To Basic Lean Quality Management Environmental Management And Other Management Systems - 1st Edition
Michael Abildgaard
ISBN: 1985895722, 978-1985895720
$0 $28.75
Logical Aspects Of Computational Linguistics Third International Conference Lacl98 Grenoble France December 14 16 1998 Selected Papers - 1st Edition
Michael Moortgat
ISBN: 354042251X, 978-3540422518
$0 $30.95