The Specification and Design of Concurrent Systems (McGraw-Hill International Series in Software Engineering)
Mett, Percy, Crowe, David, Strain-Clark, Peter
ISBN 10: 0077079663 ISBN 13: 9780077079666
Published by McGraw-Hill Book Co Ltd, 1994
Used
paperback
From
Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
AbeBooks Seller since 15 April 2021
This specific item is no longer available.
About this Item
Description:
Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. Seller Inventory # ERICA82900770796633
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.
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: The Specification and Design of Concurrent ...
Publisher: McGraw-Hill Book Co Ltd
Publication Date: 1994
Binding: paperback
Condition: Very Good
Dust Jacket Condition: Dust Jacket Included
Book Type: book