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

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola
12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I

Imagen de portada: Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 9783031737084
  • Editor
    Springer
  • Formato
    Diseño ajustable
  • ISBN de versión impresa 9783031737084, 3031737083
  • ISBN de libro electrónico 9783031737091, 3031737091
  • Copyright
    2025
Alquilar o comprar libro de texto electrónico
‌‌
S/ 89.75 PEN
‌

  • 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

Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola son 9783031737091, 3031737091 y los ISBN de versión impresa son 9783031737084, 3031737083. Ahorra hasta un 80% en comparación con la versión impresa al volverte digital con VitalSource.

Volver al principio