TY  - BOOK
AU  - Maler,Oded
ED  - HART '97
TI  - Hybrid and real-time systems / 
T2  - Lecture notes in computer science ; 
SN  - 354062600X
PY  - 1997///
CY  - Berlin : 
PB  - Springer, 
KW  - Sistemas hibridos
KW  - Hybrid systems
KW  - Computación mediante dispositivos abstractos
KW  - Computation by abstract devices
KW  - Analysis of algorithms and problem complexity
KW  - Análisis de algoritmos y problemas de complejidad
KW  - Special-purpose and application-based systems
KW  - Sistemas con propósito y aplicaciones especiales
KW  - Software-Requerimientos y especificaciones
KW  - Software-Requeriments and specifications
KW  - Sistemas operativos-Organización y diseño
KW  - Operating systems-Organization and design
KW  - Programs-Specification
KW  - Programas-Especificación
ER  -