Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Stochastic Model Checking

Name: Stochastic Model Checking
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 09030400
Price: 59.59 EUR
Availability: InStock
Author: Anne Remke
ISBN: 9783662454886

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

Anne Remke

Mariëlle Stoelinga

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 09030400

Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octubre 2014

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

Código Libristo: 09030400

146 b

59.59 €

Almacenamiento externo Envío en 10-18 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Willkommen. Ein Buch über Freundschaft Alison Green

Tapa dura

14.49 €

Dix jours qui ébranleront le monde Alain Minc

Libro

21.89 €

Actes et Paroles, Volume 3 Victor Hugo

Tapa blanda

19.79 €

Einheimische Fische Kurt Floericke

Tapa blanda

29.59 €

Tiefenpsychologie auf der eigenen Couch Jens Winkler

Tapa blanda

24.99 €

Odyssée lumpen Alberto PRUNETTI

Tapa blanda

22.69 €

PORMISHUEVISMO ERIK HARLEY

Libro

23.90 €

Mimi raconte moi + CD Djamel & Megane : mêle pas peur ! Mimie Mathy

Tapa blanda

20.29 €

Die Nominalflexion Der Indogermanischen Sprachen (1878) Karl Penka

Tapa blanda

28.79 €

August 15 Kumari S. Neelacantan

Tapa blanda

32.79 €

Mordkap Rainer Doh

Tapa blanda

16.89 €

Theorie und Experiment in der Psychologie Degruyter

Tapa dura

104.59 €

Endstation Engadin Gian Maria Calonder

Tapa blanda

17.79 €

Don Quijote de La Mancha, II MIGUEL CERVANTES

Tapa blanda

17.49 €

Law and Religion in the Workplace MIGUEL RODRIGUEZ BLANCO

Tapa blanda

37.29 €

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.