AGDA PROGRAMMING for MATHEMATICAL SOFTWARE: Dependently typed functional language research and teaching

Precios a partir de
11,63

Destacado

COMPARAR TODAS LAS TIENDAS WEB (1)

Descripción

Amazon Páginas: 177, Tapa blanda, Independently published
Description Descripción
Product Specifications Especificaciones del producto
Resultados relacionados Resultados relacionados
Next
Previous

Comparar tiendas web (1)

Shop
Precio
Amazon Logo
11,63 €
Ver oferta
Descripción (1)

Páginas: 177, Tapa blanda, Independently published

Especificaciones del producto

Marca Independently Published
EAN
  • 9798269495729

HiTeX Press

Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal Verification

37,10 €
Más información Más info

Independently Published

PURE programming LANGUAGE ESSENTIALS: Mathematical functional with GPU acceleration

12,52 €
Más información Más info

Cengage Learning

AMPL: a Modeling Language for Mathematical Programming

57,58 €
Más información Más info

Pragmatic Bookshelf

Effective Haskell: Solving Real World Problems with Strongly Typed Functional Programming

48,96 €
Más información Más info
Elección Destacada
11,63 €
Ver oferta