Especificaciones, derivación y análisis de algoritmos : (Registro nro. 1825)

Detalles MARC
000 -CABECERA
Campo de control de longitud fija 01790nam a22003137a 4500
001 - NÚMERO DE CONTROL
Número de control 1825
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
Identificador del número de control AR-RqUTN
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
Códigos de información de longitud fija 250226s2006 ||||||||r|||| 001 0 spa d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
ISBN 9788483222928
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador de origen AR-RqUTN
Lengua de catalogación spa
Centro transcriptor AR-RqUTN
041 #7 - CÓDIGO DE LENGUA
Código de lengua del texto es
Fuente del código ISO 639-1
080 0# - NÚMERO DE LA CLASIFICACIÓN DECIMAL UNIVERSAL
Clasificación Decimal Universal 004
Edición de la CDU 2000
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre personal Martí Oliet, Narciso
245 10 - MENCIÓN DE TÍTULO
Título Especificaciones, derivación y análisis de algoritmos :
Resto del título ejercicios resueltos /
Mención de responsabilidad Narciso Martí Oliet, Clara María Segura Díaz, José Alberto Verdejo López
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Lugar de publicación, distribución, etc. Madrid :
Nombre del editor, distribuidor, etc. Pearson Educación,
Fecha de publicación, distribución, etc. 2006
300 ## - DESCRIPCIÓN FÍSICA
Extensión x, 188 p. ;
Dimensiones 27 cm
336 ## - TIPO DE CONTENIDO
Fuente rdacontent
Término de tipo de contenido texto
Código de tipo de contenido txt
337 ## - TIPO DE MEDIO
Fuente rdamedia
Nombre del tipo de medio sin mediación
Código del tipo de medio n
338 ## - TIPO DE SOPORTE
Fuente rdacarrier
Nombre del tipo de soporte volumen
Código del tipo de soporte nc
504 ## - NOTA DE BIBLIOGRAFÍA, ETC.
Nota de bibliografía, etc. Bibliografía: p. 187-188
505 10 - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato Capítulo 1 Especificación de algoritmos. Introducción. Ejercicios resueltos. Ejercicios propuestos <br/>Capítulo 2. Verificación. Introducción. Reglas básicas de verificación. Precondición más débil. Reglas específicas. Verificación de algoritmos recursivos. Ejercicios resueltos. Ejercicios propuestos <br/>Capítulo 3. Análisis de complejidad. Introducción. Ejercicios resueltos. Ejercicios propuestos <br/>Capítulo 4. Derivación de algoritmos iterativos. Introducción. Ejercicios resueltos. Ejercicios propuestos <br/>Capítulo 5. Derivación de algoritmos recursivos. Introducción. Análisis por casos y composición. Técnicas de inmersión. Técnica de desplegado y plegado. Transformación de recursivo lineal a iterativo. Ejercicios resueltos. Ejercicios propuestos
650 #7 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia INFORMATICA
Fuente del encabezamiento o término Spines
650 #7 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia ALGORITMOS
Fuente del encabezamiento o término Spines
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre personal Segura Díaz, Clara María
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre personal Verdejo López, José Alberto
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Esquema de clasificación Universal Decimal Classification
Tipo de ítem Koha Libros
999 ## - NÚMEROS DE CONTROL DE SISTEMA (KOHA)
-- 1825
-- 1825
Existencias
Estado Estado perdido Esquema de Clasificación Estado de conservación Tipo de préstamo Tipo de colección Localización permanente Ubicación/localización actual ST Fecha de adquisición Origen de la adquisición Número de inventario Total Checkouts ST completa de Koha Código de barras Date last seen Número de patrimonio Número de copias Tipo de ítem Koha
    Universal Decimal Classification       Biblioteca "Ing. Alcides R. Martínez" Biblioteca "Ing. Alcides R. Martínez"   01/11/2010 AR 18/2010 2725   004 M363 2725 26/02/2025 2050.10 26/02/2025 Libros
    Universal Decimal Classification       Biblioteca "Ing. Alcides R. Martínez" Biblioteca "Ing. Alcides R. Martínez"   01/11/2010 AR 18/2010 2726   004 M363 2726 26/02/2025 2051.10 26/02/2025 Libros