Normal view
MARC view
- NFM (Conference)
Entry Nombre de reunión
001 - NÚMERO DE CONTROL
- campo de control: 684911
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
- campo de control: DLC
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
- campo de control: 20221002115427.0
008 - DATOS DE LONGITUD FIJA
- campo de control de longitud fija: 220706n| azannaabn |a ana
010 ## - NÚMERO DE CONTROL DE LA BIBLIOTECA DEL CONGRESO
- Número de control de LC: nb2022009844
035 ## - NÚMERO DE CONTROL DEL SISTEMA
- Número de control de sistema: (Uk)011355830
040 ## - FUENTE DE LA CATALOGACIÓN
- Centro catalogador/agencia de origen: Uk
- Lengua de catalogación: eng
- Normas de descripción: rda
- Centro/agencia transcriptor: Uk
046 ## - FECHAS CON CODIFICACIÓN ESPECIAL
- Período de inicio: 2022-05-24
- Fin de período: 2022-05-27
- Fuente del esquema de fecha: edtf
111 2# - ENCABEZAMIENTO--NOMBRE DE CONGRESO/REUNIÓN
- Nombre de congreso/reunión o jurisdicción como elemento de entrada: NFM (Conference)
- Número del congreso/reunión o número de parte o sección: (14th :
- Fecha del congreso/reunión: 2022 :
- Sede del congreso/Lugar de la reunión: Pasadena, Calif.)
368 ## - OTROS ATRIBUTOS DE PERSONA O ENTIDAD CORPORATIVA
- Tipo de entidad corporativa: Congresses and conventions
- Fuente: lcsh
370 ## - LUGAR ASOCIADO
- Lugar de residencia/sede: Pasadena (Calif.)
- Fuente del término: naf
372 ## - CAMPO DE ACTIVIDAD
- Campo de actividad: Formal methods (Computer science)
- Fuente del término: lcsh
377 ## - LENGUA/LENGUAJE ASOCIADO
- Código del idioma: eng
411 2# - TRAZADO DE VÉASE--NOMBRE DE CONGRESO/REUNIÓN
- Nombre de congreso/reunión o jurisdicción como elemento de entrada: NASA Formal Methods Symposium
- Número del congreso/reunión o número de parte o sección: (14th :
- Fecha del congreso/reunión: 2022 :
- Sede del congreso/Lugar de la reunión: Pasadena, Calif.)
670 ## - FUENTE DE DATOS ENCONTRADOS
- Cita de la fuente: NASA formal methods, [2022]:
- Información encontrada: t.p. (14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022)