Le livre est actuellement en rupture de stock
En savoir plus sur le livre
Focusing on the intersection of coalgebraic logic and stochastic systems, this work explores how these concepts enhance modeling in concurrency theory and semantics. By leveraging results from coalgebras, universal algebra, and category theory, it reveals new insights into system behavior that traditional probabilistic methods may overlook. The integration of categorical reasoning offers innovative perspectives on transition systems and modal logics, making significant contributions to the field of systems modeling.
Achat du livre
Stochastic Coalgebraic Logic, Ernst-Erich Doberkat
- Langue
- Année de publication
- 2009
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .