Detalles MARC
| 000 -CABECERA |
|---|
| Longitud fija campo de control |
02715nam a2200361 a 4500 |
| 003 - IDENTIFICADOR DELl NÚMERO DE CONTROL |
|---|
| Identificador del número de control |
CO-SiCUC |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| Fecha y hora de la última transacción |
20240220124440.0 |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA |
|---|
| Campo fijo de descripción física |
ta |
| 008 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA |
|---|
| Códigos de información de longitud fija |
181210s2014 sp gr 0001fdspa d |
| 020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS |
|---|
| Número Internacional Normalizado para Libros (ISBN) |
9788415452324 |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro catalogador de origen |
CO-SiCUC |
| Lengua de catalogación |
spa |
| Centro transcriptor |
CO-SiCUC |
| Normas de descripción |
rda |
| 041 0# - CÓDIGO DE LENGUA |
|---|
| Código de lengua del texto-banda sonora o título independiente |
spa |
| 043 ## - CÓDIGO DE ÁREA GEOGRÁFICA |
|---|
| Código de área geográfica |
e-sp--- |
| 082 04 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Número de clasificación Decimal |
005.1 |
| Número de documento (Cutter) |
M378 2012 |
| Número de edición DEWEY |
23 |
| 100 1# - PUNTO DE ACCESO PRINCIPAL-NOMBRE DE PERSONA |
|---|
| Nombre de persona |
<a href="Mart O̕liet, Narciso">Mart O̕liet, Narciso</a> |
| Código de función |
aut |
| Término indicativo de función |
autor |
| 9 (RLIN) |
33800 |
| 245 10 - TÍTULO PROPIAMENTE DICHO |
|---|
| Título |
Algoritmos correctos y eficientes : |
| Resto del título |
diseño razonado ilustrado con ejercicios / |
| Mención de responsabilidad, etc. |
Narciso Marti Oliet, Clara Segura y Alberto Verdejo. |
| 250 ## - MENCIÓN DE EDICIÓN |
|---|
| Mención de edición |
Primera edición. |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN , DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT |
|---|
| Lugar de producción, publicación, distribución, fabricación |
Madrid : |
| Nombre del productor, editor, distribuidor, fabricante |
Garceta Grupo Editorial, |
| Fecha de de producción, publicación, distribución, fabricación o copyright |
©2012. |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
236 páginas ; |
| Dimensiones |
26 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. |
Incluye referencias bibliográficos: páginas 235-236 |
| 505 0# - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
1. Especificación de algoritmos -- 2. Verificación -- 3. Análisis de complejidad -- 4. Derivación de algoritmos iterativos -- 5. Derivación de algoritmos recursivos. |
| 520 ## - NOTA DE SUMARIO |
|---|
| Sumario, etc, |
Este libro de ejercicios sobre diseño de algoritmos correctos y eficientes es el resultado de la actividad docente de sus autores, profesores de asignaturas de programación durante muchos años en la Universidad Complutense de Madrid, e intenta paliar el déficit de material docente sobre especificación y verificación formal de programas disponible en castellano.<br/><br/>Se hace especial hincapié en la derivación de programas a partir de su especificación. La derivación consiste en la construcción sistemática del programa a partir de su especificación, de forma que se garantiza que al final de tal construcción el algoritmo cumple la especificación y, por tanto, es automáticamente correcto con respecto a esta. También se introducen los conceptos básicos para analizar el coste de un programa, puesto que este ingrediente es asimismo útil para construir programas que además de correctos sean eficientes.<br/><br/>Cada capítulo empieza con una breve introducción para repasar los conceptos principales y fijar las notaciones que se utilizan en el desarrollo posterior de las soluciones de los ejercicios; sigue con una serie de ejercicios resueltos con detalle y de dificultad creciente; y acaba proponiendo nuevos ejercicios que deberían ser resueltos por el estudiante interesado.<br/> |
| Fuente proveedora |
El texto. |
| 590 ## - NOTAS LOCALES |
|---|
| Nota local |
Ingeniería de Sistemas |
| 650 04 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento inicial |
Algoritmos (Computadores). |
| 9 (RLIN) |
32544 |
| 650 04 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento inicial |
Estructura de datos (Informática). |
| 9 (RLIN) |
26328 |
| 650 04 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento inicial |
Matemáticas computacionales. |
| 9 (RLIN) |
33801 |
| 700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Segura, Clara |
| Código de función |
aut |
| Término indicativo de función |
autora |
| 9 (RLIN) |
33802 |
| 700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Verdejo, Alberto |
| Código de función |
aut |
| Término indicativo de función |
autor |
| 9 (RLIN) |
33803 |
| 942 ## - ENTRADA DE ELEMENTOS AGREGADOS (KOHA) |
|---|
| Fuente de clasificaión o esquema |
|
| Koha [por defecto] tipo de item |
Libros |
