- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
FREE Two-Day Shipping for Students. Learn more |
| ||||||||||||||||||
Special Offers and Product Promotions
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
Share your thoughts with other customers:
|
||||||||||||||||||||||
|
Most Helpful Customer Reviews
3.0 out of 5 stars
how to verify parallel code,
By
This review is from: Verifying Concurrent Processes Using Temporal Logic (Lecture Notes in Computer Science) (v. 129) (Paperback)
Sadly, the experience of reading the book is severely marred by the low quality of the printing. The text does not appear crisply. Instead, it is fuzzy. Detracting from the underlying messages.
The topic itself may be of some interest to those working on parallel computing. With code customised for a given parallel architecture, a key question is how to verify it? Hailpern offers some ideas grounded in temporal logic. Not every architecture being used today might qualify. But the payoff is automated verification that is absolute in a mathematical sense. Perhaps worth your while spending some time investigating his ideas?
Share your thoughts with other customers: Create your own review
|
|
Inside This Book
(learn more)
Browse and search another edition of this book.
Browse and search another edition of this book.
Citations (learn more)
37
books
cite this book:
See all 37 books citing this book
- Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984 (Lecture Notes in Computer Science) (v. 197) by Stephen D. Brookes in Front Matter, and Back Matter
- Concurrency 88: International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings (Lecture Notes in Computer Science) by Friedrich H. Vogt on page 119
- Applications and Theory of Petri Nets 2005: 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings (Lecture Notes in ... Computer Science and General Issues) by Gianfranco Ciardo on page 247
- Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India, December 16-18, 1985. Proceedings (Lecture Notes in Computer Science) (v. 206) by S.N. Maheshwari in Front Matter
- EUROSAM 84: International Symposium on Symbolic and Algebraic Computation, Cambridge, England, July 9-11, 1984 (Lecture Notes in Computer Science) by J. Fitch in Front Matter
See all 37 books citing this book
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
