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

Verified Software. Theories, Tools and Experiments

15th International Conference, VSTTE 2023, Ames, IA, USA, October 23–24, 2023, Revised Selected Papers

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

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