Formal Methods for Concurrency
Description:
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.
Best prices to buy, sell, or rent ISBN 9781850321736
Frequently Asked Questions about Formal Methods for Concurrency
You can buy the Formal Methods for Concurrency book at one of 20+ online bookstores with BookScouter, the website that helps find the best deal across the web. Currently, the best offer comes from and is $ for the .
The price for the book starts from $8.98 on Amazon and is available from 6 sellers at the moment.
If you’re interested in selling back the Formal Methods for Concurrency book, you can always look up BookScouter for the best deal. BookScouter checks 30+ buyback vendors with a single search and gives you actual information on buyback pricing instantly.
As for the Formal Methods for Concurrency book, the best buyback offer comes from and is $ for the book in good condition.
Not enough insights yet.
Not enough insights yet.