Concurrent Systems: Formal Development in Csp - Couverture souple

Hinchey, Michael G.; Jarvis, Stephen A.

 
9780077076498: Concurrent Systems: Formal Development in Csp
Couverture souple
ISBN 10 : 0077076494 ISBN 13 : 9780077076498
Editeur : McGraw-Hill Publishing Co., 1995

Synopsis

This text serves as both a practical reference manual and an introduction for students using the formal specification language CSP and implementing it in the specification and verification of complex, real time and distributed systems. The book contains a tutorial introduction suitable for beginners and uses many examples as well as a realistic case study. The implementation of this case study in occam is described and the implementation of CSP in Ada 9x is also discussed. In addition, up-to-date coverage of the important new variants of CSP is provided and a complete listing of the laws of CSP is given.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
McGraw-Hill Publishing Co.
Date d'édition
1995
Langue
anglais
ISBN 10 
0077076494
ISBN 13 
9780077076498
Reliure
Broché
Nombre de pages
181
Coordonnées du fabricant
non disponible
Personne responsable
non disponible