Prakash Panangaden 
LABELLED MARKOV PROCESSES [PDF ebook] 

Destek

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
Ödeme metodları
Bu e-kitabı satın alın ve 1 tane daha ÜCRETSİZ kazanın!
Dil İngilizce ● Biçim PDF ● Sayfalar 212 ● ISBN 9781848162891 ● Dosya boyutu 1.6 MB ● Yayımcı World Scientific Publishing Company ● Kent Singapore ● Ülke SG ● Yayınlanan 2009 ● İndirilebilir 24 aylar ● Döviz EUR ● Kimlik 2423389 ● Kopya koruma Adobe DRM
DRM özellikli bir e-kitap okuyucu gerektirir

Aynı yazardan daha fazla e-kitap / Editör

74.960 Bu kategorideki e-kitaplar