Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone
  • Android

To get the free app, enter your mobile phone number.

On Concurrent Programming (Texts in Computer Science) 1997th Edition

5.0 out of 5 stars 2 customer reviews
ISBN-13: 978-0387949420
ISBN-10: 0387949429
Why is ISBN important?
ISBN
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
Trade in your item
Get a $1.92
Gift Card.
Have one to sell? Sell on Amazon
Buy used On clicking this link, a new layer will be open
$42.00 On clicking this link, a new layer will be open
Buy new On clicking this link, a new layer will be open
$89.95 On clicking this link, a new layer will be open
More Buying Choices
35 New from $25.25 23 Used from $17.59
Free Two-Day Shipping for College Students with Prime Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student


Excel2016ForDummiesVideo
Excel 2016 For Dummies Video Training
Discover what Excel can do for you with self-paced video lessons from For Dummies. Learn more.
$89.95 FREE Shipping. Temporarily out of stock. Order now and we'll deliver when available. We'll e-mail you with an estimated delivery date as soon as we have more information. Your account will only be charged when we ship the item. Ships from and sold by Amazon.com. Gift-wrap available.
click to open popover

Editorial Reviews

From the Back Cover

Much software today is structured as concurrent programs. This graduate-level text offers a self-contained and in-depth treatment of the subject. Formal methods and assertional reasoning drive the exposition. Not only are derivation and reasoning about concurrent programs discussed, but the assertional approach provides a compelling way to motivate and understand the more traditional concerns in concurrent programming.
NO_CONTENT_IN_FEATURE

The latest book club pick from Oprah
"The Underground Railroad" by Colson Whitehead is a magnificent novel chronicling a young slave's adventures as she makes a desperate bid for freedom in the antebellum South. See more

Product Details

  • Series: Texts in Computer Science
  • Hardcover: 473 pages
  • Publisher: Springer; 1997 edition (May 6, 1997)
  • Language: English
  • ISBN-10: 0387949429
  • ISBN-13: 978-0387949420
  • Product Dimensions: 6.1 x 1.1 x 9.2 inches
  • Shipping Weight: 2.1 pounds (View shipping rates and policies)
  • Average Customer Review: 5.0 out of 5 stars  See all reviews (2 customer reviews)
  • Amazon Best Sellers Rank: #2,288,150 in Books (See Top 100 in Books)

Customer Reviews

5 star
100%
4 star
0%
3 star
0%
2 star
0%
1 star
0%
See both customer reviews
Share your thoughts with other customers

Top Customer Reviews

By Peter G. Neumann on December 22, 1997
Format: Hardcover
< One of the most insidious sources of programming problems in the RISKS archives involves concurrent programming. Synchronization, locking, message passing, and other tight-coupling mechanisms are extremely difficult to do properly. Programming languages and operating systems are not necessarily much help by themselves.
Fred Schneider has put together a wonderful book on how to do concurrent programming correctly. Whereas the book is ideal for a one-semester course (and more), it is also very valuable as a reference work. It should be read by everyone deeply involved in writing critical programs. Although its focus is strongly on formal methods, I have long claimed that formal methods can be enormously helpful if you are really concerned about correctness in concurrency, for which most unproved algorithms tend to have flaws (and a few ``proved'' ones may also). Furthermore, the implementations of such algorithms are always in question, and formal methods can help significantly there as well.
[From the Risks Forum, vol 19 no 51]
Comment 10 people found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
Format: Hardcover Verified Purchase
I love this, even though it's exceedingly heavy duty stuff. That is not a criticism of the Author, it's the subject matter. There's only so much you can do to simplify it. If you want to talk about the correctness of parallel programs, then you need to have a basis to cover the subject matter. The author does a good job of building this up, but it is not easy going.

One of the most valuable things you will gain from this book is realizing just how much work is required to write correct concurrent code of any type.

Highly recommended to the serious readers. If you find semaphores difficult then you are not ready for even the first paragraphs of this book.
Comment One person found this helpful. Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse