The Specification and Design of Concurrent Systems (McGraw-Hill International Series in Software Engineering)
Released: Jan 01, 1994
Publisher: McGraw-Hill Book Co Ltd
Format: Paperback, 299 pages
to view more data
Description:
This book is based on the Open University course units on concurrency and is a presentation of the techniques of concurrency and sequential programming. The authors introduce the Open Development Method, which provides a progression from a specification in CSP (Communication Sequential Processes)through refinement to code in Occam. The book is divided into four sections: Part 1 introduces concurrent processes and process networks, Part 2 gradually presents the elements of CSP notation. Parts 3 and 4 use these techniques to apply the full development method to several realistic case studies.
We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.
Want a Better Price Offer?
Set a price alert and get notified when the book starts selling at your price.
Want to Report a Pricing Issue?
Let us know about the pricing issue you've noticed so that we can fix it.