Tu configuración de privacidad

Al visitar nuestro sitio web o utilizar los servicios de Kobo, aceptas el uso de cookies y tecnologías de seguimiento similares para i) mejorar la experiencia y la funcionalidad de nuestros servicios, ii) ofrecerte contenido personalizado en las plataformas de Kobo y anuncios de los servicios de Kobo en otras plataformas, y iii) divulgar información sobre tu uso de nuestros servicios a nuestros socios de redes sociales, publicidad y análisis, todo ello según se describe con más detalle en nuestra Política de cookies y tecnologías de seguimiento y en nuestra Política de privacidad. Para administrar tus preferencias, selecciona Configuración de privacidad a continuación.Es posible que te pidamos que ajustes tus preferencias por separado para cada una de las librerías de Kobo y nuestra tienda de eReader, o cuando no estés conectado a tu cuenta Kobo.​

Functional Data Structures and Algorithms - A Proof Assistant Approach eBook de Tobias Nipkow

Functional Data Structures and Algorithms

A Proof Assistant Approach

ACM Books

Sinopsis

Acerca de este libro

  • Idioma:English
  • ISBN:9798400731563
  • Fecha de lanzamiento:3 oct 2025
  • Editorial:Association for Computing Machinery
  • Edición:ACM Books
  • Formato de archivo:EPUB3
  • Tamaño de archivo:2.20 MB
  • Opciones de descarga:EPUB3 (Adobe DRM)