Type-driven Development with Idris

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

Szerző: Edwin Brady

Nyelv:

Kötés: Puha kötésű

Kiadó: Manning Publications

Elérhetőség: Beszállítói készleten

Küldés 9-15 napon belül

18 885 Ft

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

Információk a könyvről

Szerző

Edwin Brady

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2017

oldal

480

EAN

9781617293023

ISBN

1617293024

Enbook ID

12404702

Kiadó

Manning Publications

Súly

812

Méretek

235 x 191 x 25

Teljes leírás

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,

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Type-driven Development with Idris

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták