Normal view MARC view
  • Chen, Mingsong

Entry Nombre personal

Number of records used in: 1

001 - NÚMERO DE CONTROL

  • campo de control: 689944

003 - IDENTIFICADOR DEL NÚMERO DE CONTROL

  • campo de control: DLC

005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN

  • campo de control: 20240406162338.0

008 - DATOS DE LONGITUD FIJA

  • campo de control de longitud fija: 130301n| azannaabn |n aaa

010 ## - NÚMERO DE CONTROL DE LA BIBLIOTECA DEL CONGRESO

  • Número de control de LC: nb2013004295

035 ## - NÚMERO DE CONTROL DEL SISTEMA

  • Número de control de sistema: (Uk)008693369

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: 19
  • Fin de período: 20

100 1# - ENCABEZAMIENTO-NOMBRE DE PERSONA

  • Nombre de persona: Chen, Mingsong

370 ## - LUGAR ASOCIADO

  • Otro lugar asociado: Gainesville, Fla.
  • Otro lugar asociado: Shanghai, China

372 ## - CAMPO DE ACTIVIDAD

  • Campo de actividad: Embedded computer systems -- Design and construction
  • Campo de actividad: Computer systems -- Verification
  • Fuente del término: lcsh

373 ## - GRUPO ASOCIADO

  • Grupo asociado: University of Florida
  • Fuente del término: naf

373 ## - GRUPO ASOCIADO

  • Grupo asociado: Hua dong shi fan da xue. Software Engineering Institute

374 ## - OCUPACIÓN

  • Ocupación: College teachers
  • Fuente del término: lcsh

375 ## - GÉNERO/SEXO

  • Género/Sexo: male

377 ## - LENGUA/LENGUAJE ASOCIADO

  • Código del idioma: eng

670 ## - FUENTE DE DATOS ENCONTRADOS

  • Cita de la fuente: System-level validation, 2013:
  • Información encontrada: t.p. (Mingsong Chen) t.p. verso (Software Engineering Institute, East China Normal University, Shanghai, People's Republic of China) p.xix (associate professor who received his Ph.D. from the University of Florida in 2010; his research focuses on design automation of embedded systems, cyber-physical systems, model checking techniques and software engineering)