Başlık:
Stochastic relations : foundations for Markov transition systems
Yazar:
Doberkat, Ernst-Erich., author.
ISBN:
9780429148453
Fiziksel Tanımlama:
1 online resource (xxiii, 345 pages)
Seri:
Chapman & Hall/CRC studies in informatics series
İçerik:
chapter 1 A Gentle Tutorial to All Things Considered -- chapter 2 Stochastic Relations as Monads -- chapter 3 Eilenberg-Moore Algebras for Stochastic Relations -- chapter 4 The Existence of Semi-Pullbacks -- chapter 5 Congruences and Bisimulations -- chapter 6 Interpreting Modal and Temporal Logics.
Elektronik Erişim:
Click here to view.Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 543070-1001 | QA76.9 .M35 D578 2007 | Arıyor... | Arıyor... |