Vista normal
Vista MARC
Real-time systems : specification, verification and analysis / edited by Mathai Joseph.
Tipo de material: TextoSeries Prentice-Hall international series in computer scienceDetalles de publicación: London ; Mexico City : Prentice Hall, 1996.Descripción: xiv, 278 p. : il. ; 24 cmISBN:- 0134552970
- QA 76.54 R4298.1996
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|
Libros | Biblioteca Francisco Xavier Clavigero Acervo | Acervo General | QA 76.54 R4298.1996 (Navegar estantería(Abre debajo)) | Disponible | 223412 |
Navegando Biblioteca Francisco Xavier Clavigero estanterías, Ubicación en estantería: Acervo, Colección: Acervo General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
No hay imagen de cubierta disponible | ||||||||
QA 76.5 Z4 Time-sharing data processing systems / | QA 76.54 A44.1987 Introduction to real-time software design / | QA 76.54 M378 Diseño de sistemas de computadores en tiempo real / | QA 76.54 R4298.1996 Real-time systems : specification, verification and analysis / | QA 76.54 S5 Microprocessors for engineers : interfacing for real time applications / | QA 76.54 W37 Structured development for real-time systems / | QA 76.54 W37 Structured development for real-time systems / |
Incluye referencias bibliográficas (p. 259-271) e índice.