Real-time systems : scheduling, analysis, and verification /

Detalles Bibliográficos
Autor principal: Cheng, Albert M. K.
Formato: Libro
Lenguaje:English
Publicado: Hoboken, New Jersey : John Wiley & Sons, 2002.
Materias:
LEADER 00825nam a2200241 a 4500
001 000189010
005 20121005143520.0
008 121004s2002 xxu 000 0 eng d
020 |a 9780471184065 
040 |a Sistema de Bibliotecas del Tecnológico de Costa Rica 
082 0 4 |a 004.33  |b Ch518r  |2 23 
100 1 |a Cheng, Albert M. K. 
245 1 0 |a Real-time systems :  |b scheduling, analysis, and verification /  |c Albert M. K. Cheng. 
260 |a Hoboken, New Jersey :  |b John Wiley & Sons,  |c 2002. 
300 |a 524 páginas :  |b ilustraciones, diagramas, gráficas. 
504 |a Bibliografía 
505 0 |a Índice 
590 |a ELEC 
650 1 4 |a Sistemas de tiempo real  |x Informática 
650 1 4 |a Tiempo real  |x Sistemas operacionales 
650 1 4 |a Tiempo real  |x Procesamiento de datos 
655 4 |a libros 
902 |a Elieth  |b 2012/10/05