Specification and proof in real-time CSP

Author(s)

• Davies, Jim

Bibliographic Information

Specification and proof in real-time CSP

Jim Davies

（Distinguished dissertations in computer science, 6）

Cambridge University Press, 2011, c1993

• : pbk

Note

First published: 1993

Includes bibliographical references (p. [175]-180)

Details

• NCID: BB15446230
• ISBN:
  • 9781107403864
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge, U.K. ; Tokyo
• Pages/Volumes: xvii , 180 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.54
  • DC23 : 004.33
• Subject Headings:
  • LCSH : Real-time data processing
• Parent Bibliography ID:
  • BA13438471