Detalles MARC
| 000 -CABECERA |
|---|
| campo de control de longitud fija |
01088nam a2200253zi 4500 |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN |
|---|
| campo de control |
20210817121853.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL |
|---|
| campo de control de longitud fija |
970106s1990 a 000 0 eng |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO |
|---|
| Número Internacional Estándar del Libro |
0387195815 |
| 035 ## - NÚMERO DE CONTROL DEL SISTEMA |
|---|
| Número de control de sistema |
MX001000520290 |
| 050 ## - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO |
|---|
| Número de clasificación |
QA76.58 |
| Número de documento/Ítem |
S64 |
| 245 00 - MENCIÓN DE TÍTULO |
|---|
| Título |
Specification and verification of concurrent systems / |
| Mención de responsabilidad, etc. |
C. rattray, ed. |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT |
|---|
| Producción, publicación, distribución, fabricación y copyright |
London : |
| Nombre del de productor, editor, distribuidor, fabricante |
Springer Verlag : |
| -- |
British Computer Society, |
| Fecha de producción, publicación, distribución, fabricación o copyright |
c1990 |
| 300 ## - DESCRIPCIÓN FÍSICA |
|---|
| Extensión |
612 páginas |
| 336 ## - TIPO DE CONTENIDO |
|---|
| Término de tipo de contenido |
texto |
| Fuente |
rdacontent |
| 337 ## - TIPO DE MEDIO |
|---|
| Nombre/término del tipo de medio |
sin medio |
| Fuente |
rdamedia |
| 338 ## - TIPO DE SOPORTE |
|---|
| Nombre/término del tipo de soporte |
volumen |
| Fuente |
rdacarrier |
| 490 0# - MENCIÓN DE SERIE |
|---|
| Mención de serie |
Workshops in computing |
| 500 ## - NOTA GENERAL |
|---|
| Nota general |
"papers presented at the bcs-facs workshop on specification and verification of concurrent systems held on 6-8 july 1988, at the university of stirling, scotland" -- pref. |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA |
|---|
| Término de materia o nombre geográfico como elemento de entrada |
Procesamiento paralelo (Computadoras electrónicas) |
| 700 ## - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA |
|---|
| Nombre de persona |
Rattray, Charles |
| Fechas asociadas al nombre |
1938- |
| Término indicativo de función/relación |
editor |
| 710 2# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE ENTIDAD CORPORATIVA |
|---|
| Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada |
British Computer Society |
| 711 ## - PUNTO DE ACCESO ADICIONAL--NOMBRE DE REUNIÓN/CONGRESO |
|---|
| Nombre de congreso/reunión o jurisdicción como elemento de entrada |
BCS-FACS Workshop on Specification and Verification of Concurrent Systems, |
| Fecha del congreso/reunión |
(1988 : |
| Sede del congreso/Lugar de la reunión |
University of Stirling, Escocia) |
