Formal Methods for Concurrency - Softcover

Fencott, Clive

 
9781850321736: Formal Methods for Concurrency
Softcover
ISBN 10: 1850321736 ISBN 13: 9781850321736
Verlag: Cengage Learning EMEA, 1996

Inhaltsangabe

The aim of this work is to provide a practical introduction to the formal specification of concurrent and real-time systems. It is intended for those with some basic knowledge or experience of computing but does not assume knowledge of the particular problems of concurrent and real-time systems. It concentrates on one group of languages, based on Robin Milner's Calculus of Communicating Systems (CCS). Supported throughout by examples and exercises, the practical applicability of the method is demonstrated and the benefits of a rigorous approach made clear. This text recognizes that building formal specifications, using abstraction and formal reasoning, are difficult skills to master, and thus adopts a practical, student-friendly approach.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Cengage Learning EMEA
Erscheinungsdatum
1996
Sprache
Englisch
ISBN 10 
1850321736
ISBN 13 
9781850321736
Einband
Taschenbuch
Anzahl der Seiten
290
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9780412432002: Formal Methods for Concurrency

Vorgestellte Ausgabe

ISBN 10:  0412432005 ISBN 13:  9780412432002
Verlag: Chapman & Hall, 1995
Softcover