Main image
Click to view image in fullscreen
![]()
Specification and Proof in Real Time CSP
Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. It is important therefore that we are able to employ mathematical techniques to specify the behaviour of critical safety systems. The research contained in this book represents work on the specification and verification of real-time systems.
630,00 DH
Sur commande
Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. It is important therefore that we are able to employ mathematical techniques to specify the behaviour of critical safety systems. The research contained in this book represents work on the specification and verification of real-time systems.
| ISBN / EAN | 9781107403864 |
|---|---|
| Auteur | Davies, Jim (University of Oxford) |
| Editeur | Cambridge University Press |