Type-driven Development with Idris

Name: Type-driven Development with Idris
Brand: Manning Publications
SKU: 9781617293023
Price: 272.68 RON
Availability: InStock

Autor: Edwin Brady

Limbă:

Legare: Carte broșată

Editura: Manning Publications

Disponibilitate: În depozitul extern

Expediem în 9-15 zile

272.68 lei

Summary Type-Driven Development with Idris, written by the creator of Idris, teaches you how to impr...

Informații despre carte

Autor

Edwin Brady

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2017

Pagini

480

EAN

9781617293023

ISBN

1617293024

Enbook ID

12404702

Editura

Manning Publications

Greutate

812

Dimensiuni

235 x 191 x 25

Descriere completă

Summary Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris,

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Type-driven Development with Idris

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și