Search Type
  • All
  • Subject
  • Title
  • Author
  • Publisher
  • Series Title
Search Title

Download

Specification and Proof in Real Time CSP

Specification and Proof in Real Time CSP( )
Author: Davies, Jim
Series title:Distinguished Dissertations in Computer Science Ser.
ISBN:978-1-107-40386-4
Publication Date:Jan 2012
Publisher:Cambridge University Press
Book Format:Paperback
List Price:USD $63.99
Book Description:

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.

Book Details
Pages:200
Detailed Subjects: Computers / Data Science / General
Physical Dimensions (W X L X H):6.63 x 9.516 x 0.429 Inches
Book Weight:0.726 Pounds



Featured Books

Northanger Abbey
Austen, Jane
Paperback: $7.99
Master Slave Husband Wife
Woo, Ilyon
Paperback: $19.99
I Love You Through and Through
Rossetti-Shustak, Bernadette
Board book: $8.99

Rate this title:

Select your rating below then click 'submit'.






I do not wish to rate this title.