Zum Hauptinhalt springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
Type-Driven Development with Idris
Taschenbuch von Edwin Brady
Sprache: Englisch

63,60 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
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 basic functional programming

concepts.

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.

Über den Autor
Edwin Brady leads the design and implementation of the Idris language.

He is a Lecturer in Computer Science and regularly speaks at conferences.

Details
Erscheinungsjahr: 2017
Fachbereich: Programmiersprachen
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: Kartoniert / Broschiert
ISBN-13: 9781617293023
ISBN-10: 1617293024
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Brady, Edwin
Hersteller: Manning Publications
Maße: 233 x 187 x 30 mm
Von/Mit: Edwin Brady
Erscheinungsdatum: 07.04.2017
Gewicht: 0,825 kg
Artikel-ID: 121009064
Über den Autor
Edwin Brady leads the design and implementation of the Idris language.

He is a Lecturer in Computer Science and regularly speaks at conferences.

Details
Erscheinungsjahr: 2017
Fachbereich: Programmiersprachen
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: Kartoniert / Broschiert
ISBN-13: 9781617293023
ISBN-10: 1617293024
Sprache: Englisch
Einband: Kartoniert / Broschiert
Autor: Brady, Edwin
Hersteller: Manning Publications
Maße: 233 x 187 x 30 mm
Von/Mit: Edwin Brady
Erscheinungsdatum: 07.04.2017
Gewicht: 0,825 kg
Artikel-ID: 121009064
Warnhinweis