Free Shipping In the UK
Concurrent Systems By Michael G. Hinchey

Concurrent Systems
by Michael G. Hinchey

In Stock
£26.99
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 suitable for beginners.
Only 1 left

Concurrent Systems Summary


Concurrent Systems: Formal Development in CSP by Michael G. Hinchey

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.

Why buy from World of Books

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

Table of Contents


An introduction to CSP; semantic models; variants of CSP; laws of CSP; elements of CSP style; case study - a reliable network protocol; occam; refinement; select CSP and occam bibliography.

Additional information

GOR004690754
Concurrent Systems: Formal Development in CSP by Michael G. Hinchey
Michael G. Hinchey
McGraw-Hill International Series in Software Engineering
Used - Very Good
Paperback
McGraw-Hill Education - Europe
1995-01-01
181
0077076494
9780077076498
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
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.