The temporal logic of reactive and concurrent systems : (Record no. 52977)
[ view plain ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 00835nam a2200229 a 4500 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
| campo de control | AR-LpUFIB |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| campo de control | 20250311170306.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | 230201s1991 xxu r 000 0 eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
| Número Internacional Estándar del Libro | 0387976647 |
| 024 8# - Otro identificador estandar | |
| Número estándar o código | DIF-M3219 |
| -- | 3325 |
| -- | DIF003128 |
| 040 ## - FUENTE DE LA CATALOGACIÓN | |
| Centro catalogador/agencia de origen | AR-LpUFIB |
| Lengua de catalogación | spa |
| Centro/agencia transcriptor | AR-LpUFIB |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
| Nombre de persona | Manna, Zohar |
| 245 10 - MENCIÓN DE TÍTULO | |
| Título | The temporal logic of reactive and concurrent systems : |
| Resto del título | specification |
| 250 ## - MENCIÓN DE EDICIÓN | |
| Mención de edición | 1st ed. |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. | |
| Lugar de publicación, distribución, etc. | Nueva York : |
| Nombre del editor, distribuidor, etc. | Springer-Verlag, |
| Fecha de publicación, distribución, etc. | 1991 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | xi, 427 p. ; |
| Dimensiones | 24 cm. |
| 505 0# - NOTA DE CONTENIDO CON FORMATO | |
| Nota de contenido con formato | Part I: Models of concurrency. -- Chapter 1: Basic models. -- Chapter 2: Modeling real concurrency. -- Part II: Specifications. -- Chapter 3: Temporal logic. -- Chapter 4: Properties of programs. |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | SISTEMAS REACTIVOS |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | MODELO CONCURRENTE |
| 700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA | |
| Nombre de persona | Pnuieli, Amir |
| 942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA) | |
| Tipo de ítem Koha | Libro |
| Estado de retiro | Estado de pérdida | Estado dañado | Disponibilidad | Biblioteca permanente | Biblioteca actual | Fecha de adquisición | Número de inventario | Total de préstamos | Signatura topográfica completa | Código de barras | Fecha visto por última vez | Precio válido a partir de | Tipo de ítem Koha |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Préstamo a domicilio | Biblioteca de la Facultad de Informática | Biblioteca de la Facultad de Informática | 12/08/2011 | DIF-03770 | C.3 MAN | DIF-03770 | 11/03/2025 | 11/03/2025 | Libro |