WorldOfBooks
Free Delivery In Australia
Currency:
AUD $ AUD
Formal Methods for Concurrency By Clive Fencott

Formal Methods for Concurrency
by Clive Fencott

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.
Only 0 left

Add to Wishlist

Formal Methods for Concurrency Summary


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.

Why buy from World of Books

Our excellent value books literally don't cost the earth
Free delivery in Australia
Read more here
Every used book bought is one saved from landfill

Additional information

Sku
GOR002022780
Title
Formal Methods for Concurrency
Author
Condition
Very Good
Binding type
Paperback
Publisher
Cengage Learning EMEA
Year published
Number of pages
320
ISBN 10
1850321736
ISBN 13
9781850321736
Prizes
N/A
Cover note
Book picture is for illustrative purposes only, actual cover or edition may vary.
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.