Type-Driven Development with Idris
-
Buch (Taschenbuch, Englisch)
-
Fr. 59.90
-
inkl. gesetzl. MwSt.wird besorgt, Lieferzeit unbekannt
- Versandkostenfrei
Beschreibung
KEY FEATURES
• Written by the creator of Idris • Improve performance and accuracy of programs • Teaches Idris, a new type-driven development language • Hands-on code examples • Build real-world softwareAUDIENCE
Written for programmers with knowledge of basic functional programming
concepts.
Produktdetails
| Einband | Taschenbuch |
|---|---|
| Seitenzahl | 480 |
| Erscheinungsdatum | 07.04.2017 |
| Sprache | Englisch |
| ISBN | 978-1-61729-302-3 |
|---|---|
| Verlag | KNV Besorgung |
| Maße (L/B/H) | 23.3/18.7/3 cm |
| Gewicht | 807 g |