Real-Time Systems : Scheduling, Analysis, and Verification /

類似資料

• Compositional Verification of Concurrent and Real-Time Systems /
  著者:: Juan, Eric Y.T
  出版事項: (2002, c2002)
• Introducción a la computación /
  著者:: Duro Carralero, Natividad
  出版事項: (2001, c2001)
• Specification of Abstract Data Types /
  著者:: Loeckx, Jacques
  出版事項: (1996, c1996)
• Real-Time Systems Design and Analysis : An Engineer's Handbook /
  著者:: Laplante, Phillip A.
  出版事項: (1997, c1997)
• The Universal History of Computing : From the Abacus to the Quantum Computer /
  著者:: Ifrah, Georges
  出版事項: (2001, c2001)