Real-time systems : specification, verification, and analysis
著者
書誌事項
Real-time systems : specification, verification, and analysis
(Prentice-Hall International series in computer science)
Prentice Hall, 1996
- :pbk
大学図書館所蔵 全9件
注記
Includes bibliographical references and index