Especifiación, derivación y análisis de algoritmos : (Record no. 595)

MARC details
000 -CABECERA
Campo de control de longitud fija 01706nam a2200289 a 4500
001 - NÚMERO DE CONTROL
Número de control 595
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
Identificador del número de control AR-FRRoUTN
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
Códigos de información de longitud fija 240624t2006 sp a||||r|||| 001 0 spa d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
ISBN 8483222922
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
ISBN 9788483222928
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador de origen UTN FRRo
Lengua de catalogación spa
080 0# - NÚMERO DE LA CLASIFICACIÓN DECIMAL UNIVERSAL
Clasificación Decimal Universal 004.42
Edición de la CDU 2015
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA
Nombre personal Martí Oliet, Narciso
245 10 - MENCIÓN DE TÍTULO
Título Especifiación, 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,
Fecha de publicación, distribución, etc. 2006.
300 ## - DESCRIPCIÓN FÍSICA
Extensión 198 p. :
Otras características físicas il. ;
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
505 0# - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato Prólogo.--<br/>Cap.1 Especificación de algoritmos. Introducción. Ejercicios resueltos . Ejercicios propuestos.--<br/>Cap. 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. 3. Análisis de complejidad. Introducción. Ejercicios resueltos . Ejercicios propuestos.--<br/>Cap. 4. Derivación de algoritmos iterativos. Introducción. Ejercicios resueltos . Ejercicios propuestos.--<br/>Cap. 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.-- Bibliografía.--
650 14 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia ALGORITMOS
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 Clasificación decimal universal
Tipo de ítem Koha Libros
999 ## - NÚMEROS DE CONTROL DE SISTEMA (KOHA)
-- 595
-- 595
Holdings
Estado Estado perdido Esquema de Clasificación Estado de conservación Tipo de préstamo 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 copias Número de copias Tipo de ítem Koha
    Clasificación decimal universal     Biblioteca "Manuel Belgrano" FRRo-UTN Biblioteca "Manuel Belgrano" FRRo-UTN   03/03/2011 Compra 28493   004.42 M356 28493 24/06/2024 1   Libros