{
"item_title" : "On Concurrent Programming",
"item_author" : [" Fred B. Schneider "],
"item_description" : "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.",
"item_img_path" : "https://covers1.booksamillion.com/covers/bam/0/38/794/942/0387949429_b.jpg",
"price_data" : {
"retail_price" : "54.99", "online_price" : "54.99", "our_price" : "54.99", "club_price" : "54.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : ""
}
}
On Concurrent Programming
Overview
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.
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9780387949420
- ISBN-10: 0387949429
- Publisher: Springer
- Publish Date: May 1997
- Dimensions: 9.51 x 6.35 x 1.46 inches
- Shipping Weight: 1.92 pounds
- Page Count: 473
Related Categories
