Real-Time Systems Scheduling, Analysis, and Verification Cheng, Albert M.K. creator (autor) text monographic ING XXIII, 524 p. A.M.K. Cheng. XX Proceso Electrónico de Datos Proceso de Datos Redes de Petri Procesos Lógicos Algebra Lógica Matemática Análisis de Sistemas Análisis Numérico Computadoras Matemáticas de Ingeniería Sistemas en Tiempo Real Ingeniería Computacional 004. 33 CHE 0-471-18406-3 Acervo ITESO - Biblioteca 20260814000000.0 000157141