- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
126,95 €
+ 253 points
Description
This book develops the theory of stochastic relations as a basis for Markov transition systems. After an introduction to the basic mathematical tools from topology, measure theory, and categories, it examines congruences and morphisms. It applies these topics to the monoidal structure, and defines bisimilarity and behavioral equivalence within this framework. Developments from the general theory of coalgebras in the context of the subprobability functor are presented. The book also includes case studies of software architecture, the converse of a stochastic relation, and the average case analysis of two algorithms.
Spécifications
Parties prenantes
- Auteur(s) :
- Editeur:
Contenu
- Nombre de pages :
- 376
- Langue:
- Anglais
- Collection :
Caractéristiques
- EAN:
- 9780367389116
- Date de parution :
- 05-09-19
- Format:
- Livre broché
- Format numérique:
- Trade paperback (VS)
- Dimensions :
- 155 mm x 231 mm
- Poids :
- 498 g
Les avis
Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.