Imagen de portada: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 9783319340951

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

  • Editor Publicado por Springer Copyright © 2016
  • "ISBN-13 9783319340951"
  • Formato Diseño ajustable

Libro electrónico

Licencia de eTextbook
‌
S/ 57.88 PEN
‌
‌

  • Herramientas de estudio

    Herramientas de estudio incorporadas, como resaltados y más

  • Leer en voz alta

    Escucha y sigue la narración mientras Bookshelf lee para ti

  • Acceso sin conexión

    Accede a tu libro de texto electrónico en cualquier momento y en cualquier lugar

  • Búsqueda global

    Busca entre el contenido del libro, las figuras y tu libro de trabajo

Más información

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems son 9783319340968, 3319340964 y los ISBN de versión impresa son 9783319340951, 3319340956. Ahorra hasta un 80% en comparación con la versión impresa al volverte digital con VitalSource.

Volver al principio