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


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.
Publication Date:May 1993
Publisher:Cambridge University Press
Book Format:Hardback
List Price:USD $134.00
Book Description:

The research contained in this book represents work on the specification and verification of real-time systems using CSP.

Book Details
Detailed Subjects: Computers / Programming / General
Physical Dimensions (W X L X H):6.942 x 9.906 x 0.507 Inches
Book Weight:1.26 Pounds

Rate this title:

Select your rating below then click 'submit'.

I do not wish to rate this title.