Yaba, un asistente interativo para la derivación de programas / (Registro nro. 13409)

Detalles MARC
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
Existencias
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


Nuestras Redes Sociales

facebook Instagram

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127 (Atención al Público) int. 41151 (Dirección)

biblio@famaf.unc.edu.ar (Dirección)

publicofamaf@gmail.com (Atención al público)