My Cart

You have no items in your shopping cart.

Cart is Empty

Pre-loved Books | Why Pay More For New?

Product Details

Formal Methods for Concurrency by Clive Fencott

Formal Methods for Concurrency by Clive Fencott

Only 1 left

$14.60

Quick Overview

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.

Details

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.

Additional Information

SKU GOR002022780
Title Formal Methods for Concurrency
Author By (author) Clive Fencott
Contributor N/A
Condition VERYGOOD
Binding Type Paperback
Publisher Cengage Learning EMEA
Year Published 1996
Page Number 320
ISBN 1850321736
ISBN13 9781850321736
Cover Note Book picture is for illustrative purposes only, actual cover or edition may vary.
Prizes N/A
Edition Text N/A
Note This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in very good condition, but if you are not entirely satisfied please get in touch with us.
Ex Library No

Product Tags

Use spaces to separate tags. Use single quotes (') for phrases.