Type-driven Development with Idris

245,97 zł
Sprzedaje firma Libristo
4,6
Ocena z 12 miesięcy
Jak sortujemy?
Darmowa dostawa z PremiumKurierem od 49,00 zł
Dołącz do Premium
Dostawa za darmo w apce
Lub na empik.com najtaniej za 13,99 zł
Dostawa i płatność
Przewidywany czas wysyłki29-30 dni roboczych
Szczegóły
Sprzedawca zagraniczny
Więcej informacji
Zwrotdo 14 dni
Zwroty
Wszystkie produkty sprzedawcy

Informacje szczegółowe

Pokaż wszystkie
Wydawca:
Data premiery:
2017-09-01
Ilość stron:
453
Autor:
Brady Edwin
Okładka:
miękka
Program Ochrony Kupujących
Na empik.com kupujesz bezpiecznie.

Każdy sprzedawca w empik.com jest przedsiębiorcą. Wszystkie obowiązki związane z umową sprzedaży ciążą na sprzedawcy. Za wysłanie produktu odpowiada sprzedawca.

Opis produktu

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.

Informacje szczegółowe

ID produktu:
1147312216
Tytuł:
Type-driven Development with Idris
Autor:
Wydawnictwo:
Język wydania:
angielski
Język oryginału:
angielski
Liczba stron:
453
Data premiery:
2017-09-01
Rok wydania:
2017
Forma:
książka
GPSR - osoba odpowiedzialna i certyfikaty:

Oceny i recenzje o produkcie

Nikt jeszcze nie dodał recenzji tego produktu.

Bądź pierwszy!
Twoja opinia będzie bardzo przydatna dla innych użytkowników.