On Concurrent Programming
- List Price: $89.95
- Binding: Hardcover
- Publisher: Springer Verlag
- Publish date: 05/01/1997
Description:
Concurrent computing is gaining popularity as it becomes increasingly feasible to implement distributed computing across networks of workstations. Written by one of the subject's leading figures, this is a comprehensive survey of the subject beginning with prepositional logic and concluding with concurrent programming. The book emphasizes the use of formal methods and assertional reasoning using notation and paradigms drawn from programming. Exercises are included at the end of each chapter, making the book an invaluable approach to the subject.
Expand description
Please Wait