Labelled Markov processes /

Bibliographic Details
Main Author: Panangaden, Prakash
Format: Book
Language:English
Published: London : Imperial College Press, c2009
Subjects:

MARC

LEADER 00000nam a22000007a 4500
001 16380738
003 AR_CdUFM
005 20160908124533.0
008 100809s2009 enka b 001 0 eng d
020 |a 9781848162877 
040 |a YDXCP  |c YDXCP  |d EUN  |d HNK  |d BWX  |d BWK  |d MUU  |d UKM  |d KSU  |d CDX  |d HEBIS  |d DLC  |d AR_CdUFM 
100 1 |9 12932  |a Panangaden, Prakash. 
245 1 0 |a Labelled Markov processes /  |c Prakash Panangaden. 
260 |a London :  |b Imperial College Press,  |c c2009 
300 |a xii, 199 p. :  |b il. ;  |c 24 cm. 
504 |a Incluye referencias bibliográficas (p. 189-196) e índice. 
650 4 |a Lógica matemática. 
650 4 |a Lenguajes formales. 
650 4 |a Mathematical logic. 
650 4 |a Formal languages. 
650 4 |a Markov processes. 
650 4 |a Measure theory. 
541 |a Importación de Publicaciones ;  |c Compra Programa de Bibliotecas Res. 1038/10 ;  |d 2011-06-27 ;  |e 21007 ;  |h $340 ;  |o Libro 
942 |c LIBRO 
945 |a MCR  |d 2011-06-27 
952 |0 0  |1 0  |2 CCS  |4 0  |6 C_F4_P187  |7 0  |9 20374  |a MMA  |b MMA  |c 4  |d 2011-06-27  |e Programa de Bibliotecas Res. 1038/10: Importación de Publicaciones  |g 0.00  |l 3  |o C F4 P187  |p 21007  |r 2023-01-24  |s 2013-06-06  |w 2011-06-27  |y LIBRO 
955 |b xh04 2010-08-09 z-processor to USPL/STM  |a xh00 2010-08-11 to USPL/STM  |i xh06 2011-03-24 to Dewey 
999 |c 15996  |d 15995