Gå direkte til innholdet
Stochastic Coalgebraic Logic
Spar

Stochastic Coalgebraic Logic

Stochastic systems provide important tools for systems modeling, and recent work shows that categorical reasoning may lead to new insights, previously not available in a purely probabilistic setting.

This book combines coalgebraic reasoning, stochastic systems and logics.

Opplag
2009 ed.
ISBN
9783642029943
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
19.11.2009
Antall sider
231