Gå direkt till innehållet
Interactive Markov Chains
Spara

Interactive Markov Chains

Lägsta pris på PriceRunner
Markov chains are widely used as stochastic models to study a broad spectrum of system performance and dependability characteristics. This monograph is devoted to compositional specification and analysis of Markov chains.
Undertitel
The Quest for Quantified Quality
Författare
Holger Hermanns
Upplaga
2002 ed.
ISBN
9783540442615
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2002-09-11
Sidor
217