• Soluciones de educación y negocios Se abre en una nueva ventana
Imagen de portada: Tools and Algorithms for the Construction and Analysis of Systems 9783662545768

Tools and Algorithms for the Construction and Analysis of Systems

23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

  • Editorial Publicado por Springer Copyright © 2017
  • ISBN-13 9783662545768
  • Formato Diseño ajustable

Libro electrónico

Licencia de eTextbook
‌
€15.60 EUR
‌
‌

  • 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 general

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

Más informacíón

VitalSource Más de 25 años de transformación digital

  • 4500 Instituciones

  • +230 Países y territorios

  • +10 000 Editores

  • +18 M Usuarios activos

Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Tools and Algorithms for the Construction and Analysis of Systems son 9783662545775, 3662545772 y los ISBN de versión impresa son 9783662545768, 3662545764. Da el salto al mundo digital con VitalSource y ahorra hasta un 80 % en comparación con la versión impresa.

Volver al principio