Books > Computing & IT > Computer programming > Programming languages
|
Buy Now
Stochastic Model Checking - International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures (Paperback, 2014 ed.)
Loot Price: R2,418
Discovery Miles 24 180
|
|
Stochastic Model Checking - International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures (Paperback, 2014 ed.)
Series: Lecture Notes in Computer Science, 8453
Expected to ship within 10 - 15 working days
|
The use of stochastic models in computer science is wide spread,
for instance in performance modeling, analysis of randomized
algorithms and communication protocols which form the structure of
the Internet. Stochastic model checking is an important field in
stochastic analysis. It has rapidly gained popularity, due to its
powerful and systematic methods to model and analyze stochastic
systems. This book presents 7 tutorial lectures given by leading
scientists at the ROCKS Autumn School on Stochastic Model Checking,
held in Vahrn, Italy, in October 2012. The 7 chapters of this
tutorial went through two rounds of reviewing and improvement and
are summarizing the state-of-the-art in the field, centered around
the tree areas of stochastic models, abstraction techniques and
stochastic model checking.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.