Detalles MARC
| 000 -LIDER |
|---|
| campo de control de longitud fija |
01055nas a2200337zi 4500 |
| 001 - NUMERO DE CONTROL |
|---|
| campo de control |
000085185 |
| 005 - FECHA Y HORA DE LA ULTIMA TRANSACCION |
|---|
| campo de control |
20230201161426.0 |
| 008 - ELEMENTOS DE LONGITUD FIJA—INFORMACION GENERAL |
|---|
| campo de control de longitud fija |
150592c19899999xxkqr_p_d_________a0eng_d |
| 022 ## - NUMERO INTERNACIONAL NORMALIZADO PARA PUBLICACIONES SERIADAS |
|---|
| Número Internacional Normalizado para Publicaciones Seriadas |
0934-5043 |
| 030 ## - DESIGNACION CODEN |
|---|
| CODEN |
FACMES |
| 035 ## - NUMERO DE CONTROL DEL SISTEMA |
|---|
| Número de control del sistema |
SER01000085185 |
| 040 ## - FUENTE DE CATALOGACION |
|---|
| Agencia de catalogación original |
UNAMX |
| Idioma de catalogación |
spa |
| Convenciones de la descripción |
rda |
| Agencia que realiza la transcripción |
UNAMX |
| 050 14 - CLASIFICACION TOPOGRAFICA DE LA BIBLIOTECA DEL CONGRESO (LC) |
|---|
| Número clasificador |
QA75.5 |
| 082 14 - NUMERO DE CLASIFICACION DECIMAL DEWEY |
|---|
| Número de clasificación |
004 |
| 210 1# - TITULO ABREVIADO |
|---|
| Título abreviado |
Form. asp. comput. |
| 222 #0 - TITULO CLAVE |
|---|
| Título clave |
Formal aspects of computing |
| 245 00 - MENCION DEL TITULO |
|---|
| Título |
Formal aspects of computing : |
| Parte restante del título |
the international journal of formal methods. |
| 264 #1 - DECLARACION DE AVISO DE PRODUCCION, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACION Y DERECHOS DE AUTOR PARA |
|---|
| Lugar de producción, publicación, distribución, fabricación |
London : |
| Nombre del productor, editor, distribuidor, fabricante |
Springer International, |
| Fecha de producción, publicación, distribución, fabricación o aviso de derechos |
1989-. |
| 310 ## - FRECUENCIA ACTUAL DE LA PUBLICACIÓN |
|---|
| Frecuencia actual de la publicación |
Trimestral |
| 336 ## - TIPO DE CONTENIDO |
|---|
| Término del tipo de contenido |
texto |
| Fuente |
rdacontent |
| 337 ## - TIPO DE MEDIO |
|---|
| Término de tipo de medio |
sin medio |
| Fuente |
rdamedia |
| 338 ## - TIPO DE PORTADOR |
|---|
| Término de tipo de transporte |
volumen |
| Fuente |
rdacarrier |
| 362 0# - FECHAS DE PUBLICACION Y/O DESIGNACION SECUENCIAL |
|---|
| Fechas de publicación y/o designación secuencial |
Vol. 1, no. 1 (mar. 1989)- |
| 510 0# - NOTA DE CITAS/REFERENCIAS |
|---|
| Nombre de la fuente |
Computer & control abstracts |
| 510 0# - NOTA DE CITAS/REFERENCIAS |
|---|
| Nombre de la fuente |
Electrical & electronics abstracts |
| 510 0# - NOTA DE CITAS/REFERENCIAS |
|---|
| Nombre de la fuente |
Physics abstracts |
| 530 ## - NOTA DE FORMATO FISICO ADICIONAL DISPONIBLE |
|---|
| Nota de formato físico adicional disponible |
También se edita en línea |
| 550 ## - NOTA DE ENTIDAD EMISORA |
|---|
| Nota de entidad emisora |
British Computer Society |
| 650 #4 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMATICO |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Computación. |
| 776 0# - ASIENTO DE SOPORTE FISICO ADICIONAL |
|---|
| Título |
Formal aspects of computing (En línea) |
| Número Internacional Normalizado para Publicaciones Seriadas - ISSN |
1433-299X |
| Número de control del registro |
(UNAMX) 000149483 |
