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)
• 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)
• Specification of Abstract Data Types /
  по: Loeckx, Jacques
  Опубликовано: (1996, c1996)