225,99 zł
Produkt u dostawcy
Wysyłamy
w 7-8 dni rob.
Type-driven Development with Idris
Sprzedaje empik.com : 225,99 zł
Sprzedaje Libristo : 242,53 zł
Sprzedaje dvdmax : 263,31 zł
Wszyscy sprzedawcy
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 software
AUDIENCE
Written for programmers with knowledge of basic functional programming
concepts.
| ID produktu: | 1147312216 |
| Tytuł: | Type-driven Development with Idris |
| Autor: | Brady Edwin |
| Wydawca: | Manning |
| Język wydania: | angielski |
| Język oryginału: | angielski |
| Ilość stron: | 453 |
| Data premiery: | 2017-09-01 |
| Rok wydania: | 2017 |
| Forma: | książka |
| Okładka: | miękka |
| Wymiary [mm]: | 30 x 233 x 187 |
| Indeks: | 31235662 |
ocen
Podziel się na Facebooku
Właśnie zrecenzowałem Type-driven Development with Idris
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 ...