Normal view
MARC view
- Olderog, E.-R.
Entry Nombre personal
001 - NÚMERO DE CONTROL
- campo de control: 62544
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
- campo de control: DLC
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
- campo de control: 20220823115948.0
008 - DATOS DE LONGITUD FIJA
- campo de control de longitud fija: 880419n| acannaab |a aaa
010 ## - NÚMERO DE CONTROL DE LA BIBLIOTECA DEL CONGRESO
- Número de control de LC: n 88629264
040 ## - FUENTE DE LA CATALOGACIÓN
- Centro catalogador/agencia de origen: DLC
- Centro/agencia transcriptor: DLC
- Centro/agencia modificador: DLC
100 1# - ENCABEZAMIENTO-NOMBRE DE PERSONA
- Nombre de persona: Olderog, E.-R.
400 10 - TRAZADO DE VÉASE--NOMBRE DE PERSONA
- Nombre de persona: Olderog, Ernst-Rüdiger
670 ## - FUENTE DE DATOS ENCONTRADOS
- Cita de la fuente: nuc88-46315: Author's Specification-oriented semantics for communicating processes, 1984
- Información encontrada: (hdg. on PPiU rept.: Olderog, E.-R.; usage: E.-R. Olderog)
670 ## - FUENTE DE DATOS ENCONTRADOS
- Cita de la fuente: Apt, K.R. Verification of sequential and concurrent programs, c1991:
- Información encontrada: CIP t.p. (Ernst-Rüdiger Olderog) copr. p. (Christian Albrechts Univ., Inst. für Informatik, Kiel, Germany)
670 ## - FUENTE DE DATOS ENCONTRADOS
- Cita de la fuente: Correct system design, 1999:
- Información encontrada: CIP t.p. (Ernst-Rüdiger Olderog) data sheet (b. June 4, 1955)