Il libro è attualmente esaurito
Maggiori informazioni sul libro
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.
Acquisto del libro
Stochastic Coalgebraic Logic, Ernst-Erich Doberkat
- Lingua
- Pubblicato
- 2009
- product-detail.submit-box.info.binding
- (Copertina rigida)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.