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

Benzer Materyaller

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