Esta es nuestra librería de México.

Parece que estás en Estados Unidos. Para comprar en nuestra librería de México necesitas una dirección México. 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
Idris Unleashed - Type-Driven Development and Theorem Proving in Functional Programming eBook de Robert Johnson

Idris Unleashed

Type-Driven Development and Theorem Proving in Functional Programming

Robert Johnson

Sinopsis

Categorías

Acerca de este libro

  • Idioma:English
  • ISBN:6610000661022
  • Fecha de lanzamiento:21 oct 2024
  • Editorial:HiTeX Press
  • Edición:HiTeX Press
  • Formato de archivo:EPUB2
  • Tamaño de archivo:0.90 MB
  • Opciones de descarga:EPUB2 (Adobe DRM)