logo

Home

|

Products

|

9789356962026

Image of - On a Method of Multiprogramming (Monographs in Computer Science)
On a Method of Multiprogramming (Monographs in Computer Science)

On a Method of Multiprogramming (Monographs in Computer Science)

by Feijen

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.

Highlights

  • binding-icon

    9780387988702

    ISBN:

  • binding-icon

    Feijen

    Author:

  • binding-icon

    370

    Pages:

  • binding-icon

    210 gm

    Weight:

  • langauage-icon

    English

    Language:

  • date-icon

    1999

    Year:

  • edition-icon

    N/A

    Edition:

  • binding-icon

    Hardcover

    Binding:

₹956

₹1195

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.

Loading...

Online store of medical books

Discover a comprehensive range of medical books at our online store. From anatomy and physiology to the latest clinical guidelines, we've got you covered.

Trusted by students, educators, and healthcare professionals worldwide. Browse top publishers and expert-authored titles in every medical specialty. Enjoy fast shipping, secure payments, and easy returns. Your one-stop destination for quality medical knowledge at your fingertips.

Whether you're preparing for exams or expanding your clinical expertise, our curated collection ensures you have the right resources at hand. Dive into detailed illustrations, case studies, and up-to-date research that enhance your understanding and practical skills.

We regularly update our inventory to include the latest editions and newly released titles, helping you stay current in the ever-evolving medical field. Our advanced search and filtering tools make finding the perfect book quick and hassle-free.

Join our community of lifelong learners and medical enthusiasts. Sign up for exclusive discounts, early access to new arrivals, and personalized book recommendations tailored to your professional interests.