Stochastic Model Checking - Anne Remke
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre63,69 €
Produit Neuf
Ou 15,92 € /mois
- Livraison à 0,01 €
- Livré entre le 13 et le 26 mai
Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Stochastic Model Checking de Anne Remke Format Broché - Livre
0 avis sur Stochastic Model Checking de Anne Remke Format Broché - Livre
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation Stochastic Model Checking de Anne Remke Format Broché
- Livre
Résumé :
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.
Sommaire:
The tree areas of stochastic models.- Abstraction techniques.- Stochastic model checking.
Détails de conformité du produit
Personne responsable dans l'UE