Das Buch ist derzeit nicht auf Lager
Mehr zum Buch
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.
Buchkauf
Stochastic Coalgebraic Logic, Ernst-Erich Doberkat
- Sprache
- Erscheinungsdatum
- 2009
- product-detail.submit-box.info.binding
- (Hardcover)
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Keiner hat bisher bewertet.