Prakash Panangaden 
LABELLED MARKOV PROCESSES [PDF ebook] 

Supporto

Labelled Markov processes are probabilistic versions of labelled transition systems with continuous state spaces. The book covers basic probability and measure theory on continuous state spaces and then develops the theory of LMPs.The main topics covered are bisimulation, the logical characterization of bisimulation, metrics and approximation theory. An unusual feature of the book is the connection made with categorical and domain theoretic concepts.

€144.99
Modalità di pagamento
Acquista questo ebook e ricevine 1 in più GRATIS!
Lingua Inglese ● Formato PDF ● Pagine 212 ● ISBN 9781848162891 ● Dimensione 1.6 MB ● Casa editrice World Scientific Publishing Company ● Città Singapore ● Paese SG ● Pubblicato 2009 ● Scaricabile 24 mesi ● Moneta EUR ● ID 2423389 ● Protezione dalla copia Adobe DRM
Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

74.471 Ebook in questa categoria