| 000 -CABECERA |
|---|
| Longitud fija campo de control |
01374nam a22003737a 4500 |
| 001 - NÚMERO DE CONTROL |
|---|
| Número de control |
11733 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL |
|---|
| Identificador del número de control |
EC-UPSE |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| Fecha y hora de la última transacción |
20200721104500.0 |
| 006 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA - CARACTERÍSTICAS DEL MATERIAL ADICIONAL |
|---|
| Códigos de información de longitud fija - Características del material adicional |
a||||g ||i| 00| 0 |
| 008 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA |
|---|
| Códigos de información de longitud fija |
170712s ec ||||| |||| 00| 0 spa d |
| 020 ## - NÚMERO INTERNACIONAL NORMALIZADO PARA LIBROS |
|---|
| Número Internacional Normalizado para Libros (ISBN) |
9788420564982 |
| 040 ## - FUENTE DE LA CATALOGACIÓN |
|---|
| Centro catalogador de origen |
UPSE |
| 041 0# - CÓDIGO DE LENGUA |
|---|
| Código de lengua del texto;banda sonora o título independiente |
spa |
| 082 04 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY |
|---|
| Número de clasificación |
004 |
| Cutter |
ALVe |
| 100 1# - PUNTO DE ACCESO PRINCIPAL-NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Álvez, Javier, |
| Término indicativo de función |
autor |
| 9 (RLIN) |
301 |
| 245 10 - MENCIÓN DE TÍTULO |
|---|
| Título |
Especificación, verificación y derivación formal de programas |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. (PIE DE IMPRENTA) |
|---|
| Lugar de publicación, distribución, etc. |
Madrid (España): |
| Nombre del editor, distribuidor, etc. |
Pearson Educación, |
| Fecha de publicación, distribución, etc. |
2015 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
245 páginas |
| 336 ## - TIPO DE CONTENIDO |
|---|
| Fuente |
rdacontent |
| Término de tipo de contenido |
text |
| Código de tipo de contenido |
txt |
| 337 ## - TIPO DE MEDIO |
|---|
| Fuente |
rdamedia |
| Nombre del tipo de medio |
no mediado |
| 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 |
| 500 ## - NOTA GENERAL |
|---|
| Nota general |
Incluye índice general, notas bibliográficas, figuras, diagramas |
| 505 0# - NOTA DE CONTENIDO CON FORMATO |
|---|
| Nota de contenido con formato |
Especificación formal de programas.-- verificación de programas iterativos.-- Verificación de programas recursivos.-- Especificación ecuacional de tipos de datos.-- Transformación de recursivo a iterativo.-- Derivación de programas iterativos.-- derivación de programas recursivos |
| 650 14 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento inicial |
INFORMATICA |
| 9 (RLIN) |
12720 |
| 650 24 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento inicial |
PROGRAMAS INFORMATICOS |
| 9 (RLIN) |
13274 |
| 650 24 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento inicial |
RECURSIVOS |
| 9 (RLIN) |
13360 |
| 650 24 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento inicial |
SISTEMAS |
| 9 (RLIN) |
13520 |
| 650 24 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento inicial |
TECNICAS |
| 9 (RLIN) |
13570 |
| 650 24 - PUNTO DE ACCESO ADICIONAL DE MATERIA - TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento inicial |
TRANSFORMACIÓN |
| 9 (RLIN) |
13633 |
| 690 ## - Areas y subareas del conocimiento |
|---|
| Término local o nombre geográfico como elemento de entrada |
Tecnologías de la información y la comunicación (TIC) - Tecnologías de la información y la comunicación (TIC) |
| 700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Arregi, Xabier, |
| Término indicativo de función |
autor |
| 9 (RLIN) |
530 |
| 700 1# - PUNTO DE ACCESO ADICIONAL - NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Gaintzarain, Jose, |
| Término indicativo de función |
autor |
| 9 (RLIN) |
3680 |
| 942 ## - ENTRADA DE ELEMENTOS AGREGADOS (KOHA) |
|---|
| Fuente de clasificaión o esquema |
|
| Koha [por defecto] tipo de item |
Libros |
