• Soluciones de educación y negocios Se abre en una nueva ventana
Imagen de portada: Verified Software. Theories, Tools, and Experiments 1st edition 9783030415990

Verified Software. Theories, Tools, and Experiments

11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers

1st Edición

  • Autor(es) Supratik Chakraborty; ‎Jorge A. Navas
  • Editor Publicado por Springer Copyright © 2020
  • "ISBN-13 9783030415990"
  • Formato Diseño ajustable

Libro electrónico

Licencia de eTextbook
‌
$23,010.74 ARS
‌
‌

  • 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

Verified Software. Theories, Tools, and Experiments: 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers 1st Edición fue escrito por Supratik Chakraborty; ‎Jorge A. Navas y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Verified Software. Theories, Tools, and Experiments son 9783030416003, 3030416003 y los ISBN de versión impresa son 9783030415990, 3030415996. Ahorra hasta un 80% en comparación con la versión impresa al volverte digital con VitalSource.

Volver al principio