Universidad Nacional Autónoma de México
Facultad de Ingeniería
Catálogo de la Biblioteca "Ing. Antonio Dovalí Jaime"

Logic based program synthesis and transformation : (Registro nro. 16270)

Detalles MARC
000 -CABECERA
campo de control de longitud fija 00891nam a2200241zi 4500
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20220221131546.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 050414s2004 gw a 100 0 eng d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 3540221743
035 ## - NÚMERO DE CONTROL DEL SISTEMA
Número de control de sistema MX001001020696
040 ## - FUENTE DE LA CATALOGACIÓN
Centro catalogador/agencia de origen UNAMX
Lengua de catalogación spa
Centro/agencia transcriptor UNAMX
Centro/agencia modificador UNAMX
050 14 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO
Número de clasificación QA76.63
Número de documento/Ítem I58 2004
111 2# - ENTRADA PRINCIPAL--NOMBRE DE CONGRESO/REUNIÓN
Nombre de congreso/reunión o jurisdicción como elemento de entrada LOPSTR 2003
Fecha del congreso/reunión (2003 :
Sede del congreso/Lugar de la reunión Uppsala, Suecia)
245 10 - MENCIÓN DE TÍTULO
Título Logic based program synthesis and transformation :
Resto del título 13th international symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers /
Mención de responsabilidad, etc. Maurice Bruynooghe, ed.
246 30 - FORMA VARIANTE DE TÍTULO
Título propio/Titulo breve LOPSTR 2003
264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT
Producción, publicación, distribución, fabricación y copyright Berlin :
Nombre del de productor, editor, distribuidor, fabricante Springer Verlag,
Fecha de producción, publicación, distribución, fabricación o copyright c2004
300 ## - DESCRIPCIÓN FÍSICA
Extensión 232 páginas :
Otras características físicas ilustraciones
336 ## - TIPO DE CONTENIDO
Término de tipo de contenido texto
Fuente rdacontent
337 ## - TIPO DE MEDIO
Nombre/término del tipo de medio sin medio
Fuente rdamedia
338 ## - TIPO DE SOPORTE
Nombre/término del tipo de soporte volumen
Fuente rdacarrier
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada Programación lógica
Subdivisión de forma Congresos
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Bruynooghe, Maurice,
Término indicativo de función/relación editor
Existencias
Estado de retiro Estado de pérdida Fuente del sistema de clasificación o colocación Estado dañado No para préstamo Código de colección Localización permanente Ubicación/localización actual Ubicación en estantería Total de préstamos Clasificación completa Código de barras Fecha visto por última vez Número de copia Tipo de ítem Koha
    Clasificación de la Biblioteca del Congreso     General Libros Libros Libros   QA76.63 I58 2004 190329 14/03/2018 1 Libros


Universidad Nacional Autónoma de México 

Biblioteca "Ing. Antonio Dovalí Jaime” Edificio "A" de la Facultad de Ingeniería

©2024 Dirección General de Bibliotecas y Servicios Digitales de Información, UNAM

Aviso de Privacidad