Check nearby libraries
Buy this book
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
Showing 3 featured editions. View all 3 editions?
Edition | Availability |
---|---|
1 |
zzzz
Libraries near you:
WorldCat
|
2 |
zzzz
Libraries near you:
WorldCat
|
3 |
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references (p. [435]-449) and index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?August 7, 2024 | Edited by MARC Bot | import existing book |
December 29, 2021 | Edited by ImportBot | import existing book |
February 14, 2020 | Edited by MARC Bot | remove fake subjects |
July 22, 2017 | Edited by Mek | adding subject: In library |
July 30, 2014 | Edited by ImportBot | import new book |