• Soluciones de educación y negocios Se abre en una nueva ventana
Imagen de portada: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 9783031314759

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

  • Editor Publicado por Springer Copyright © 2023
  • "ISBN-13 9783031314759"
  • Formato Diseño ajustable

Libro electrónico

Licencia de eTextbook
‌
S/ 130.19 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

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday y publicado por Springer. Los ISBN digitales y de libros de texto electrónicos de Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems son 9783031314766, 303131476X y los ISBN de versión impresa son 9783031314759, 3031314751. Ahorra hasta un 80% en comparación con la versión impresa al volverte digital con VitalSource.

Volver al principio