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-0-521-45055-3
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
Pages:200
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.