✓ Schweizer Online-Shop
image

Type-driven Development with Idris

Produkt bewerten
Verlag:
Pearson
Unsere-Artikel-Nr.: 4QG6PLG
EAN: 9781617293023
Auf Lager:
1
Zustellung: Di, 30.12.2025
Versand: Kostenlos
-7.9 %
CHF 48.80
CHF 44.93
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 software. AUDIENCE. Written for programmers with knowledge of...
Spezifikationen
Sprache
  • Englisch
Autor
  • Edwin Brady
Erscheinungsjahr
  • 2017
Format
  • Buch (Softcover)
Anzahl Seiten
  • 480