Parallel Program Design: A Foundation 1st Edition by K. Mani Chandy (PDF)

Description

This is a very good manual

User’s Reviews

Reviews from Amazon users which were colected at the time this book was published on the website:

⭐It doesn’t have many example to explain the concepts. Sometimes one has to read the same thing several times to understand. I hope the authors will provide more examples in the next edition.

⭐It arrived in great condition. As it was advertised.My only concern was with the package labeling, where the accents in my name appeared as gibberish, and made it illegible. (Was in UTF-8, printed as cp437 I think.) How did the post office recognize any part from it is a miracle.

⭐Great book. However you sold me a library book

⭐I rate this book 5 stars even in the knowledge that the ideas presented never went anywhere. What is presented is sufficiently interesting and well presented that it is still worth examining. Chandy creates a temporal logic that can be applied to the specification of computer programs. It was created primarily for parallel programs but applies equally as well to non-parallel programs. The great thing about this logic is that it is possible to carry out proofs that the program does what it is intended. It is also possible to convert the logic into a standard programming language.I would have to guess that the reason this idea never caught on is the difficulty of doing the proofs. Unless there is some easy way to automate the proof process this method is not very practical. Still the ideas have a lot of intrinsic interest and are of such great potential use that I think this book is worth examining.

⭐

Keywords

Free Download Parallel Program Design: A Foundation 1st Edition in PDF format
Parallel Program Design: A Foundation 1st Edition PDF Free Download
Download Parallel Program Design: A Foundation 1st Edition 2010 PDF Free
Parallel Program Design: A Foundation 1st Edition 2010 PDF Free Download
Download Parallel Program Design: A Foundation 1st Edition PDF
Free Download Ebook Parallel Program Design: A Foundation 1st Edition