Yaba, un asistente interativo para la derivación de programas / (Registro nro. 13409)
[ vista simple ]
000 -CABECERA | |
---|---|
campo de control de longitud fija | 01761nam a2200349 4500 |
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
campo de control | AR_CdUFM |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
campo de control | 20170822095206.0 |
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
campo de control de longitud fija | 110729s2001 ag_||||| |||| 00| 0 spa d |
040 ## - FUENTE DE LA CATALOGACIÓN | |
Centro catalogador/agencia de origen | AR_CdUFM |
Centro/agencia transcriptor | AR_CdUFM |
100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
9 (RLIN) | 6104 |
Nombre de persona | Gertel, Matías. |
245 10 - MENCIÓN DE TÍTULO | |
Título | Yaba, un asistente interativo para la derivación de programas / |
Mención de responsabilidad, etc. | Matías Gertel, Bruno Mancuso. |
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. | |
Lugar de publicación, distribución, etc. | [S.l. : |
Nombre del editor, distribuidor, etc. | s.n.], |
Fecha de publicación, distribución, etc. | 2001. |
300 ## - DESCRIPCIÓN FÍSICA | |
Extensión | 92 h. : |
Otras características físicas | il. ; |
Dimensiones | 30 cm. |
500 ## - NOTA GENERAL | |
Nota general | |
502 ## - NOTA DE TESIS | |
Nota de tesis | Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 2001. |
504 ## - NOTA DE BIBLIOGRAFÍA, ETC. | |
Nota de bibliografía, etc. | Incluye referencias bibliográficas: p. 92. |
520 ## - SUMARIO, ETC. | |
Sumario, etc. | El presente trabajo consiste en una herramienta gráfica creada para asistir la derivación y transformación de programas. Dicha herramienta está basada en la lógica ecuacional. En el trabajo se hará una pequeña revisión del marco teórico utilizado para realizar derivaciones, se presentará la demostración de completitud y corrección de un algoritmo de matching diseñado especialmente para servir de motor principal de la herramienta y finalmente se darán los detalles de especificación, diseño e implementación. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Programming techniques. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Applicative programming. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Program verification. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Asistente interactivo. |
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
Término de materia o nombre geográfico como elemento de entrada | Derivación de programas. |
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO | |
Término no controlado | Técnicas de programación. |
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO | |
Término no controlado | Verificación de programas. |
653 ## - TÉRMINO DE INDIZACIÓN--NO CONTROLADO | |
Término no controlado | Programación aplicativa. |
700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL | |
9 (RLIN) | 10749 |
Nombre de persona | Mancuso, Bruno. |
700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL | |
9 (RLIN) | 1670 |
Nombre de persona | Blanco, Javier Oscar, |
Fechas asociadas al nombre | 1968- |
Término indicativo de función/relación | dir. |
942 ## - ELEMENTOS DE ENTRADA AGREGADA (KOHA) | |
Tipo de ítem Koha | Trabajo Especial de Grado |
Fuente del sistema de clasificación o colocación | |
945 ## - PROCESAMIENTO DE INFORMACIÓN LOCAL (OCLC) | |
Codigo del Catalogador | |
Fecha | 2002-04-12 |
945 ## - PROCESAMIENTO DE INFORMACIÓN LOCAL (OCLC) | |
Codigo del Catalogador | MEG |
Fecha | 2011-07-29 |
Estado de retiro | Estado de pérdida | Fuente del sistema de clasificación o colocación | Estado dañado | No para préstamo | Biblioteca de origen | Biblioteca actual | Ubicación en estantería | Fecha de adquisición | Fuente de adquisición | Total de préstamos | Signatura topográfica completa | Código de barras | Fecha visto por última vez | Fecha del último préstamo | Número de copia | Tipo de ítem Koha |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
FaMAF | FaMAF | Secc. Tesis y Trabajos especiales | 02/04/2002 | Donación del autor | 1 | Trabajo Especial Computación CAJA 2 - 15843 | 15843 | 21/07/2017 | 30/07/2009 | 1 | Trabajo Especial de Grado |