• Soluciones de educación y negocios Se abre en una nueva ventana

Tools and Algorithms for the Construction and Analysis of Systems 1st Edición
12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

Imagen de portada: Tools and Algorithms for the Construction and Analysis of Systems 1st edition 9783540330561
  • Autor(es)
    Holger Hermanns; ‎Jens Palsberg
  • Editor
    Springer
  • Formato
    Diseño fijo
  • ISBN de versión impresa 9783540330561, 3540330569
  • ISBN de libro electrónico 9783540330578, 3540330577
  • Edición
    1st
  • Copyright
    2006
Alquilar o comprar libro de texto electrónico
‌‌
$333.66 MXN
‌

  • 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

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

  • 4500 Instituciones

  • Más de 230 Países y territorios

  • Más de 10 000 Editores

  • Más de 18 000 000 Usuarios activos

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings 1st Edición fue escrito por Holger Hermanns; ‎Jens Palsberg 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 9783540330578, 3540330577 y los ISBN de versión impresa son 9783540330561, 3540330569. Ahorra hasta un 80% en comparación con la versión impresa al volverte digital con VitalSource.

Volver al principio