The Specification and Design of Concurrent Systems (McGraw-Hill International Series in Software Engineering) - Softcover

Mett, Percy; Crowe, David; Strain-Clark, Peter

Softcover

ISBN 10: 0077079663 ISBN 13: 9780077079666

Verlag: McGraw-Hill Publishing Co., 1994

Inhaltsangabe

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.

Details zur Ausgabe

• Verlag: McGraw-Hill Publishing Co.
• Erscheinungsdatum: 1994
• Sprache: Englisch
• ISBN 10: 0077079663
• ISBN 13: 9780077079666
• Einband: Taschenbuch
• Anzahl der Seiten: 256
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Nicht verfügbar