Specification and Proof in Real Time CSP
| Author | : Jim Davies |
| Publisher | : Cambridge University Press |
| Total Pages | : 208 |
| Release | : 1993-05-20 |
| ISBN-10 | : 0521450551 |
| ISBN-13 | : 9780521450553 |
| Rating | : 4/5 (553 Downloads) |
Book Synopsis Specification and Proof in Real Time CSP by : Jim Davies
Download or read book Specification and Proof in Real Time CSP written by Jim Davies and published by Cambridge University Press. This book was released on 1993-05-20 with total page 208 pages. Available in PDF, EPUB and Kindle. Book excerpt: The research contained in this book represents work on the specification and verification of real-time systems using CSP.
