Stochastic Model Checking
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Szerző:
Anne Remke, Mariëlle Stoelinga
Elérhetőség:
Beszállítói készleten alacsony példányszámban
Küldés 13-18 napon belül
20 672
Ft
The use of stochastic models in computer science is wide spread, for instance in performance modelin...
