Stochastic Model Checking

Name: Stochastic Model Checking
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783662454886
Price: 297.1 RON
Availability: InStock

International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Autor: Anne Remke, Mariëlle Stoelinga

Limbă:

Legare: Carte broșată

Editura: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Disponibilitate: În depozitul extern în cantități mici

Expediem în 13-18 zile

297.10 lei

The use of stochastic models in computer science is wide spread, for instance in performance modelin...

Informații despre carte

Autor

Anne Remke, Mariëlle Stoelinga

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2014

Pagini

281

EAN

9783662454886

ISBN

3662454882

Enbook ID

09030400

Editura

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Greutate

454

Dimensiuni

239 x 160 x 18

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Stochastic Model Checking

International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și