Leve três e pague apenas dois com o cupão TRIPLOPT
Envio GRÁTISEntrega em 24-48 h
Devolução GRÁTIS30 dias, sem perguntas
Type-driven Development with Idris
por Edwin Brady · · 480 pág
3,9
· ISBN 97816172930233 pessoas a ver istoVisto 0 vezes
Detalhes do produto
Páginas: 480 pág
Autor: Edwin Brady
Editora: Editora a confirmar
ISBN: 9781617293023
Formato: Capa mole
Idioma:
Data de publicação: 31/3/2017
ISBN: 9781617293023
Garantia de qualidade Hamelyn
Cada produto é revisto, limpo e verificado antes do envio. Se não for o que esperava, devolvemos o dinheiro.
Revisado e verificado
Entrega em 24-48 h
Pagamento 100% seguro
* Todos os nossos produtos são revisados cuidadosamente para promover uma cultura sustentável.
Sinopse de Type-driven Development with Idris
Aprende a utilizar Idris para el desarrollo de software basado en tipos. Este libro te guiará a través de los conceptos y técnicas necesarios para aprovechar al máximo este lenguaje de programación funcional, permitiéndote crear aplicaciones más robustas y confiables. Descubre cómo los tipos pueden dirigir el proceso de desarrollo y mejorar la calidad de tu código.
Mais títulos para quem procura Edwin Brady
Recomendado por Julia
-
IVA incluído