The book is currently out of stock
More about the book
Focusing on the specification and verification of real-time systems, this book delves into the application of Communicating Sequential Processes (CSP). It presents research findings that explore how CSP can be effectively utilized to ensure the reliability and correctness of systems that operate within strict timing constraints, making it a valuable resource for researchers and practitioners in the field of computer science and systems engineering.
Book purchase
Specification and Proof in Real Time CSP, Jim Davies
- Language
- Released
- 2011
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.
- Title
- Specification and Proof in Real Time CSP
- Language
- English
- Authors
- Jim Davies
- Publisher
- Cambridge University Press
- Released
- 2011
- Format
- Paperback
- Pages
- 200
- ISBN13
- 9781107403864
- Description
- Focusing on the specification and verification of real-time systems, this book delves into the application of Communicating Sequential Processes (CSP). It presents research findings that explore how CSP can be effectively utilized to ensure the reliability and correctness of systems that operate within strict timing constraints, making it a valuable resource for researchers and practitioners in the field of computer science and systems engineering.