Real-time systems : specification, verification, and analysis

• Tác giả: M Joseph
• Ngôn ngữ: eng
• ISBN-10: 0134552970
• Ký hiệu phân loại: 005.2 Programming for specific types of computers, for specific operating systems, for specific user interfaces
• Thông tin xuất bản: London ; New York : Prentice Hall, 1996.
• Mô tả vật lý: xiv, 278 p. : , ill. ; , 24 cm.
• Bộ sưu tập: Công nghệ thông tin
• ID: 135863
• Chủ đề: 1. Real-time data processing

Includes bibliographical references (p. 259-271) and index.