The Specification and Design of Concurrent Systems (McGraw-Hill International Series in Software Engineering) - Softcover
Synopsis
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 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.
"synopsis" may belong to another edition of this title.
Search results for The Specification and Design of Concurrent Systems...
Seller Image
The Specification and Design of Concurrent Systems (Mcgraw-Hill International Series in Software Engineering)
Published by
McGraw-Hill Publishing Co. 01.03.1994., 1994
ISBN 10: 0077079663
ISBN 13: 9780077079666
Used
Taschenbuch
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Gut. 256 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 969. Seller Inventory # 367996
Buy Used
US$ 56.86
US$ 27.54 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available