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

Lignende værker

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