Esta es nuestra librería de Chile.

Parece que estás en Estados Unidos. Para comprar en nuestra librería de Chile necesitas una dirección Chile. Ve a nuestra librería de Estados Unidos para continuar.

Ir a la librería de Estados UnidosElegir otra librería
Saltar al contenido principal
Lista de deseos
Cesta
Crear cuenta
¿Tienes cuenta?Iniciar sesión
Functional Data Structures and Algorithms - A Proof Assistant Approach eBook de Tobias Nipkow

Functional Data Structures and Algorithms

A Proof Assistant Approach

Tobias Nipkow
ACM Books

Sinopsis

Categorías

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)