Understanding Concurrent Systems. Roscoe, W. 9781848822573 Fast Free Shipping**
Springer London Ltd
Master the complexities of concurrent systems with "Understanding Concurrent Systems" by A.W. Roscoe. This comprehensive guide, based on Hoare's Communicating Sequential Processes (CSP), is an invaluable resource for understanding concurrency theory and its practical applications. Whether you're a student or a professional, this book provides a deep dive into CSP, covering operational semantics, denotational models, and practical applications with tools like FDR. Key features: * Comprehensive introduction to CSP theory and practice. * Explores advanced topics including timed modelling and state explosion. * Integrates with CSP-based tools such as FDR. * Suitable for undergraduate students, researchers, and practitioners. This first edition hardcover book is written in English and contains 530 pages, making it an essential reference for anyone interested in concurrent systems. Product Summary: Understanding Concurrent Systems, Hardcover book, A.W. Roscoe, English, First edition, 530 pages, ISBN 9781848822573, Springer London.
Compare prices (4 shops)
| shop | Price | Action |
|---|---|---|
|
37,00 GBP | Go to shop |
|
37,39 GBP | Go to shop |
|
|
41,32 GBP | Go to shop |
|
|
41,70 GBP | Go to shop |
Similar products
-
Understanding Concurrent Systems (Texts in Computer Science)
From 44,97 EUR -
A Science of Concurrent Programs
From 46,65 EUR -
The Science of Understanding
From 12,15 EUR -
-
Texts
From 5,95 EUR -
