Entry Nombre personal

Number of records used in: 2

001 - NÚMERO DE CONTROL

• campo de control: 670972

003 - IDENTIFICADOR DEL NÚMERO DE CONTROL

• campo de control: DLC

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

• campo de control: 20191005182855.0

008 - DATOS DE LONGITUD FIJA

• campo de control de longitud fija: 100623n| azannaabn |n aaa c

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

• Número de control de LC: no2010102239

035 ## - NÚMERO DE CONTROL DEL SISTEMA

• Número de control de sistema: (OCoLC)oca08537204

040 ## - FUENTE DE LA CATALOGACIÓN

• Centro catalogador/agencia de origen: NjBlaOCU
• Lengua de catalogación: eng
• Centro/agencia transcriptor: NjBlaOCU
• Centro/agencia modificador: DLC
• Normas de descripción: rda

100 1# - ENCABEZAMIENTO-NOMBRE DE PERSONA

• Nombre de persona: Ray, Sandip

372 ## - CAMPO DE ACTIVIDAD

• Campo de actividad: Computer science

373 ## - GRUPO ASOCIADO

• Grupo asociado: University of Texas, Austin

670 ## - FUENTE DE DATOS ENCONTRADOS

• Cita de la fuente: Scalable techniques for formal verification, c2010:
• Información encontrada: t.p. (Sandip Ray) t.p. verso (Dr. Sandip Ray; Dept. of Computer Sciences, Univ. of Texas, Austin)