Algebras and automata for timed and stochastic systems (Record no. 55530)

MARC details
000 -CABECERA
campo de control de longitud fija 01602nam a2200253 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 20250311170411.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 230201s1999 en a r 000 0 eng d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 9036513634
024 8# - Otro identificador estandar
Número estándar o código DIF-M6288
-- 6416
-- DIF005745
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 D'Argenio, Pedro R.
245 10 - MENCIÓN DE TÍTULO
Título Algebras and automata for timed and stochastic systems
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. Enschede :
Nombre del editor, distribuidor, etc. Print Partners Ipskamp,
Fecha de publicación, distribución, etc. 1999
300 ## - DESCRIPCIÓN FÍSICA
Extensión xii, 342 p. :
Otras características físicas il. ;
Dimensiones 24 cm.
500 ## - NOTA GENERAL
Nota general Tesis de doctorado -- Universidad de Twente, Enschede, Países Bajos, 1999. Incluye nomenclatura e índice.
505 0# - NOTA DE CONTENIDO CON FORMATO
Nota de contenido con formato I. Introduction -- 1. Introduction -- 2. Preliminaries -- II. Timed systems -- 3. Timed transition systems -- 4. Timed automata -- 5. Algebra for real-time systems -- 6. Equational theory for -- 7. Further exmaples using -- III. Stochastic systems -- 8. Probabilistic transition systems -- 9. Stochastic automata -- 10. Stochastic process algebra for discret event systems -- 11. Equational theory for -- 12. Analysis of specifications -- 13. Concluding remarks -- IV. Technicalities -- A. Proofs from chapter 4 -- B. Proofs from chapter 5 -- C. Proofs from chapter 6 -- D. Some concepts of probability theory -- E. Proofs from chapter 9 -- F. Proofs from chapter 10 -- G. Proofs from chapter 11 -- Bibliography -- Nomenclature -- Index -- Abstract -- Samenvatting
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada PROCESOS ESTOCÁSTICOS
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada MODELOS DE COMPUTACIÓN
650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA
Término de materia o nombre geográfico como elemento de entrada AUTÓMATAS
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 DE TIEMPO REAL
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha Libro
Holdings
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 11/03/2025 DIF-04192   G.3. DAR DIF-04192 11/03/2025 11/03/2025 Libro