Introduction to the formal design of real-time systems

Author(s)

• Gray, David

Bibliographic Information

Introduction to the formal design of real-time systems

David Gray

（Applied computing）

Springer, c1999

• : pbk.

Note

Includes bibliographical references (p. [451]-454) and index

Details

• NCID: BA40281215
• ISBN:
  • 3540761403
• LCCN: 97029239
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: London ; New York
• Pages/Volumes: xiii, 461 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.54
  • DC21 : 005.2/73
• Subject Headings:
  • LCSH : Real-time data processing
  • LCSH : System design
• Parent Bibliography ID:
  • BA27724005