On concurrent programming
by Fred B. Schneider
- 1 Want to read
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: synchronization and communication mechanisms; protocols to solve key concurrent programming problems.
As befits an introductory text, readers are provided with a good account of the basics: propositional and predicate logic, temporal logic, and a Hoare-style logic for sequential programs. Exercises at the end of each chapter extend and illustrate the main themes. The result is a book that should be invaluable to those interested in concurrent programming.
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
|
zzzz
|
|
2
|
zzzz
|
3
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references (p. [435]-449) and index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
History
- Created April 1, 2008
- 13 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| August 7, 2024 | Edited by MARC Bot | import existing book |
| December 7, 2022 | Edited by ImportBot | import existing book |
| November 15, 2022 | Edited by ImportBot | import existing book |
| December 29, 2021 | Edited by ImportBot | import existing book |
| April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |