{"product_id":"on-a-method-of-multiprogramming-practical-formal-development","title":"On a Method of Multiprogramming - Practical Formal Development","description":"\u003cp\u003eIn this review of On a Method of Multiprogramming the author examines a focused, formal approach to designing parallel and multiprogram systems from specification. The bottom line: this monograph is best for readers who need a rigorous method for moving from specification to correct multiprogram implementations, and its greatest value is the clear connection it makes between the Owicki\/Gries theory and practical program development. It is a specialist work rather than an introductory textbook, and those seeking broad coverage of parallel hardware or high-level concurrency libraries may want a different resource.\u003c\/p\u003e\n\u003ch2\u003eKey Features\u003c\/h2\u003e\n\u003cul\u003e\n\u003cli\u003e\n\u003cstrong\u003eFormal foundation:\u003c\/strong\u003e The book ties multiprogram design directly to the Owicki\/Gries theory so readers gain a principled method for reasoning about correctness.\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eSpecification to implementation:\u003c\/strong\u003e The text demonstrates how to develop parallel programs from formal specifications, helping engineers keep correctness central during design.\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eApplicability:\u003c\/strong\u003e Techniques are presented for multiprograms whether they are distributed or run on shared resources, making the method broadly useful.\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eFocused scope:\u003c\/strong\u003e The monograph concentrates on program design issues rather than hardware details, so practitioners get concentrated guidance on algorithm correctness.\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eAcademic rigor:\u003c\/strong\u003e The presentation preserves theoretical rigor while emphasizing how the approach can be put to practical use in software engineering.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch2\u003eWho It's For\u003c\/h2\u003e\n\u003cp\u003eThe book is aimed at advanced students, researchers, and software engineers who work with concurrent or parallel algorithms and who require a formal basis for correctness. Those familiar with program verification or formal methods will extract the most value because the material builds on the Owicki\/Gries framework and expects some prior exposure to formal reasoning.\u003c\/p\u003e\n\u003cp\u003eReaders looking for an introductory guide to parallel programming, language-specific concurrency tutorials, or hands-on coverage of parallel hardware should look elsewhere. This monograph is not a general-purpose how-to for multithreaded application APIs but a concise treatment of formal design techniques for multiprograms.\u003c\/p\u003e\n\u003ch2\u003ePros \u0026amp; Cons\u003c\/h2\u003e\n\u003cp\u003e\u003cstrong\u003ePros\u003c\/strong\u003e\u003c\/p\u003e\n\u003cul\u003e\n\u003cli\u003eProvides a direct link between specification and correct multiprogram design, useful for building reliable concurrent systems.\u003c\/li\u003e\n\u003cli\u003eMaintains theoretical rigor while showing practical application, which benefits researchers and methodical engineers.\u003c\/li\u003e\n\u003cli\u003eApplies to both distributed and non-distributed multiprograms, offering flexibility across deployment models.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003cp\u003e\u003cstrong\u003eCons\u003c\/strong\u003e\u003c\/p\u003e\n\u003cul\u003e\n\u003cli\u003eThe focused, formal approach makes it less suitable for beginners or those seeking broad pragmatic tutorials on parallel APIs.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch2\u003eSpecifications\u003c\/h2\u003e\n\u003ctable\u003e\n\u003ctr\u003e\n\u003ctd\u003eTitle\u003c\/td\u003e\n\u003ctd\u003eOn a Method of Multiprogramming (Monographs in Computer Science)\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eAuthor\u003c\/td\u003e\n\u003ctd\u003eW. H. J. Feijen\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eSubject\u003c\/td\u003e\n\u003ctd\u003eFormal development of multiprograms from specification\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eTheoretical basis\u003c\/td\u003e\n\u003ctd\u003eOwicki\/Gries theory\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eScope\u003c\/td\u003e\n\u003ctd\u003eDesign of parallel programs, distributed or not\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eIntended audience\u003c\/td\u003e\n\u003ctd\u003eAdvanced students, researchers, software engineers\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003c\/table\u003e\n\u003ch2\u003eOur Verdict\u003c\/h2\u003e\n\u003cp\u003eOn a Method of Multiprogramming is a concise, rigorous monograph that rewards readers who need a formal method to derive correct multiprograms from specifications. It is good value for researchers and engineers who prioritize correctness and formal development, though it is not a beginner's companion to parallel programming.\u003c\/p\u003e\n\u003ch2\u003eFrequently Asked Questions\u003c\/h2\u003e\n\u003cp\u003e\u003cstrong\u003eIs this book practical for real-world projects?\u003c\/strong\u003e\u003cbr\u003eThe book emphasizes methods that can be applied in practice, particularly for projects where formal correctness is a priority, but it assumes familiarity with formal reasoning.\u003c\/p\u003e\n\u003cp\u003e\u003cstrong\u003eDo I need prior knowledge of Owicki\/Gries theory?\u003c\/strong\u003e\u003cbr\u003eFamiliarity with Owicki\/Gries or program verification concepts helps; readers without that background may find the text dense.\u003c\/p\u003e\n\u003cp\u003e\u003cstrong\u003eDoes it cover distributed systems specifically?\u003c\/strong\u003e\u003cbr\u003eYes, the techniques are presented so they apply to both distributed and non-distributed multiprograms.\u003c\/p\u003e","brand":"W. H. J. Feijen","offers":[{"title":"Default Title","offer_id":48185412026587,"sku":"1441931791","price":153.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0724\/1043\/1707\/files\/51pPLT455cL._SL1254.jpg?v=1769659677","url":"https:\/\/gearmusthave.com\/products\/on-a-method-of-multiprogramming-practical-formal-development","provider":"GearMustHave","version":"1.0","type":"link"}