Imagen de portada: Verified Software. Theories, Tools, and Experiments 9783319723075

Verified Software. Theories, Tools, and Experiments

9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers

Libro electrónico

Licencia de eTextbook
$23,920.08 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

Más información