Concurrent Systems: Formal Development in CSP (McGraw-Hill International Series in Software Engineering)

Hinchey, Michael G.

ISBN 10: 0077076494 / ISBN 13: 9780077076498

Verlag: McGraw-Hill Publishing Co., 1995

Beschreibung

Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind. Bestandsnummer des Verkäufers wbs8922036565

Bibliografische Details

Titel: Concurrent Systems: Formal Development in ...

Verlag: McGraw-Hill Publishing Co.

Erscheinungsdatum: 1995

Einband: Softcover

Zustand: Like New

Über diesen Titel

Inhaltsangabe:

Book by Hinchey Michael G Jarvis Stephen A

Reseña del editor:

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.