Behavioural models : (Record no. 849414)
[ view plain ]
| 000 -LEADER | |
|---|---|
| campo de control de longitud fija | 02101nam a2200229 a 4500 |
| 003 - IDENTIFICADOR DE NÚMERO DE CONTROL | |
| campo de control | AR-LpUFIB |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| campo de control | 20240131171236.0 |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | ta |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | 230201s2016 sz a dr 000 0 eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
| Número Internacional Estándar del Libro | 9783319449586 |
| 024 8# - IDENTIFICADOR DE OTROS ESTÁNDARES | |
| Número estándar o código | DIF007402 |
| 040 ## - FUENTE DE 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 | Kunze, Matthias |
| 9 (RLIN) | 258423 |
| 245 10 - MENCIÓN DEL TÍTULO | |
| Título | Behavioural models : |
| Resto del título | from modelling finite automata to analysing business processes |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. | |
| Lugar de publicación, distribución, etc. | Cham : |
| Nombre del editor, distribuidor, etc. | Springer, |
| Fecha de publicación, distribución, etc. | c2016 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | xii, 279 p. : |
| Otras características físicas | il. |
| 500 ## - NOTA GENERAL | |
| Nota general | Incluye índice y bibliografía. |
| 505 0# - NOTA DE CONTENIDO CON FORMATO | |
| Nota de contenido con formato | Part I. Foundations -- 1 Introduction -- 1.1 Behavioural Models -- 1.2 Motivating Example -- 1.3 On Modelling -- 1.4 Models in Computer Science -- 1.5 Modelling in System Development -- 2 Discrete Dynamic Systems -- 2.1 Characterisation of Dynamic Systems -- 2.2 Transition Systems -- 2.3 Events and Causality -- 2.4 Application of Discrete Dynamic System Models -- Bibliographical Notes -- Part II. Models of Behaviour -- 3 Sequential Systems -- 3.1 Finite Automata -- 3.2 Automata with Output -- 3.3 Extended Automata -- 3.4 State Machines -- Bibliographical Notes -- 4 Concurrent Systems -- 4.1 State Machines -- 4.2 Interacting Systems -- 4.3 Petri Nets -- Bibliographical Notes -- 5 Business Process Models -- 5.1 Workflow Patterns -- 5.2 Introduction to Business Process Modelling -- 5.3 Business Process Model and Notation -- Bibliographical Notes -- Part III. Analysis of Behaviour -- 6 State Spaces -- 6.1 Introduction to State Spaces -- 6.2 State Spaces of Sequential Systems -- 6.3 State Spaces of Concurrent Systems -- Bibliographical Notes -- 7 Comparing Behaviour -- 7.1 Behavioural Equivalence -- 7.2 Behavioural Inheritance -- 7.3 Behavioural Similarity -- Bibliographical Notes -- 8 Verification -- 8.1 Overview of Verification -- 8.2 Temporal Logic -- 8.3 Model Checking -- 8.4 Behavioural Properties -- 8.5 Business Process Compliance -- Bibliographical Notes -- References -- Index |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | GESTIÓN DE PROCESOS EMPRESARIALES - BPM |
| 9 (RLIN) | 254297 |
| 700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL | |
| Nombre de persona | Weske, Mathias |
| 9 (RLIN) | 254295 |
| 942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA) | |
| Tipo de ítem Koha | Libros |
| Estado retirado | Estado de pérdida | Estado de daño | No para préstamo | Biblioteca de origen | Biblioteca actual | Fecha de adquisición | Número de inventario | Total de préstamos | Signatura topográfica completa | Código de barras | Visto por última vez | Precio de reemplazo | Tipo de ítem Koha |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Disponible para préstamo | Biblioteca Fac.Informática | Biblioteca Fac.Informática | 31/01/2024 | DIF-04857 | K.6.1 KUN | DIF-04857 | 31/01/2024 | 31/01/2024 | Libros |