Items related to The Specification and Design of Concurrent Systems...
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 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.
"synopsis" may belong to another edition of this title.
- PublisherMcGraw-Hill Book Co Ltd
- Publication date1994
- ISBN 10 0077079663
- ISBN 13 9780077079666
- BindingPaperback
- Number of pages299
Top Search Results from the AbeBooks Marketplace
Stock Image
The Specification and Design of Concurrent Systems
Published by
McGraw-Hill Publishing Co., 1994
ISBN 10: 0077079663
ISBN 13: 9780077079666
Used
Softcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Bon. Ancien livre de bibliothèque. Traces de pliures sur la couverture. Traces d'humidité sur les premières et dernières pages. Edition 1994. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Traces of creases on the cover. Traces of humidity on the first and last pages. Edition 1994. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-554-013
Quantity: 1 available
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
Quantity: 1 available