Software engineering for real-time systems (Record no. 51842)
[ view plain ]
000 -CABECERA | |
---|---|
campo de control de longitud fija | 01314nam a2200229 a 4500 |
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
campo de control | AR-LpUFIB |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
campo de control | 20250311170227.0 |
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
campo de control de longitud fija | 230201s2003 xxka r 000 0 eng d |
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
Número Internacional Estándar del Libro | 0201596202 |
024 8# - Otro identificador estandar | |
Número estándar o código | DIF-M2030 |
-- | 2110 |
-- | DIF001934 |
040 ## - FUENTE DE LA CATALOGACIÓN | |
Centro catalogador/agencia de origen | AR-LpUFIB |
Lengua de catalogación | spa |
Centro/agencia transcriptor | AR-LpUFIB |
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
Nombre de persona | Cooling, J. E. |
245 10 - MENCIÓN DE TÍTULO | |
Título | Software engineering for real-time systems |
250 ## - MENCIÓN DE EDICIÓN | |
Mención de edición | 1st ed. |
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. | |
Lugar de publicación, distribución, etc. | Harlow : |
Nombre del editor, distribuidor, etc. | [S.n.], |
Fecha de publicación, distribución, etc. | 2003 |
300 ## - DESCRIPCIÓN FÍSICA | |
Extensión | xx, 800 p. : il. ; |
Dimensiones | 24 cm. |
500 ## - NOTA GENERAL | |
Nota general | Incluye referencias, lecturas adicionales y glosario. -- |
505 0# - NOTA DE CONTENIDO CON FORMATO | |
Nota de contenido con formato | 1. Real-time systems: Setting the scene -- 2. The search for dependable software -- 3. First steps: Requirements analysis and specification -- 4. Software and program design concepts -- 5. Operating systems for real-time applications -- 6. Practical aspects of real-time operating systems -- 7. Diagramming: An introduction -- 8. Practical diagramming methods -- 9. Designing and constructing software: Code-related issues -- 10. Software analysis and design: Methods and methodologies -- 11. Analysing and testing source code -- 12. Development tools -- 13. Mission-critical and safety-critical systems -- 14. Performance engineering -- 15. Documentation. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | SISTEMAS DE TIEMPO REAL |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | INGENIERÍA DE SOFTWARE |
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) | |
Tipo de ítem Koha | Libro |
Estado de retiro | Estado de pérdida | Estado dañado | Disponibilidad | Biblioteca permanente | Biblioteca actual | Fecha de adquisición | Número de inventario | Total de préstamos | Signatura topográfica completa | Código de barras | Fecha visto por última vez | Precio válido a partir de | Tipo de ítem Koha |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Préstamo a domicilio | Biblioteca de la Facultad de Informática | Biblioteca de la Facultad de Informática | 15/05/2007 | DIF-02874 | C.3 COO | DIF-02874 | 11/03/2025 | 11/03/2025 | Libro |