000 -CABECERA |
campo de control de longitud fija |
01312nam a2200229Ia 4500 |
001 - NÚMERO DE CONTROL |
campo de control |
12433 |
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
campo de control |
SV-SsUGB |
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
campo de control de longitud fija |
180402s2006||||es |||||||||||||| ||spa|| |
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
Número Internacional Estándar del Libro |
9788483222928 |
040 ## - FUENTE DE LA CATALOGACIÓN |
Centro catalogador/agencia de origen |
UGB |
041 0# - CÓDIGO DE LENGUA |
Código de lengua del texto/banda sonora o título independiente |
spa |
082 4# - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
Número de clasificación |
005.1 |
Número de documento/Ítem |
M378 |
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA |
Nombre de persona |
Martí Oliet, Narciso |
Término indicativo de función/relación |
Autor |
245 10 - MENCIÓN DE TÍTULO |
Título |
Especificación, derivación y análisis de algoritmos : |
Resto del título |
ejercicios resueltos / |
Mención de responsabilidad, etc. |
Narciso Martí Oliet |
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. |
Lugar de publicación, distribución, etc. |
[s.l.] |
Nombre del editor, distribuidor, etc. |
Pearson |
Fecha de publicación, distribución, etc. |
2006 |
300 ## - DESCRIPCIÓN FÍSICA |
Extensión |
188. p. |
520 ## - SUMARIO, ETC. |
Sumario, etc. |
ESPECIFICACIÓN DE ALGORITMOS; Ejercicios resueltos; Ejercicios propuestos, VERIFICACIÓN; reglas básicas de verificación; Precondición más débil; Reglas específicas; Verificación de algoritmos recursivos. ANÁLISIS DE COMPLEJIDAD; Ejercicios resueltos; Ejercicios propuestos. DERIVACIÓN DE ALGORITMOS ITERATIVOS; Ejercicios resueltos; Ejercicios propuestos DERIVACIÓN DE ALGORITMOS RECURSIVOS; 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 |
542 1# - NOTA DE INFORMACIÓN RELACIONADA CON EL ESTADO DEL COPYRIGHT |
Creador personal |
Martí Oliet, Narciso |
Fecha de copyright |
2006 |
Fecha de publicación |
2006 |
650 4# - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
Término de materia o nombre geográfico como elemento de entrada |
ESTRUCTURA DE DATOS (INFORMÁTICA) ; ALGORITMOS (COMPUTADORES) -- PROBLEMAS, EJERCICIOS ; ESTRUCTURAS DE DATOS (INFORMÁTICA) - PROBLEMAS, EJERCICIOS |
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
Nombre de persona |
Martí Oliet, Narciso |
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) |
Tipo de ítem Koha |
Libros |