The Specification and Design of Concurrent Systems - Brossura

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

 
9780077079666: The Specification and Design of Concurrent Systems
Brossura
ISBN 10: 0077079663 ISBN 13: 9780077079666
Casa editrice: McGraw-Hill Book Co Ltd, 1994

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Editore
McGraw-Hill Book Co Ltd
Data di pubblicazione
1994
Lingua
Inglese
ISBN 10 
0077079663
ISBN 13 
9780077079666
Rilegatura
Copertina flessibile
Numero di pagine
256
Contatto del produttore
non disponibile
Persona responsabile
non disponibile