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

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

 
9780077079666: Specification and Design of Concurrent Systems (McGraw-Hill International Series in Software Engineering)
Tapa blanda
ISBN 10: 0077079663 ISBN 13: 9780077079666
Editorial: McGraw-Hill Publishing Co., 1994

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
McGraw-Hill Publishing Co.
Año de publicación
1994
Idioma
Inglés
ISBN 10 
0077079663
ISBN 13 
9780077079666
Encuadernación
Tapa blanda
Número de páginas
256
Contacto del fabricante
no disponible
Persona responsable
no disponible