Type-driven development with Idris / Edwin Brady

Von:

Brady, Edwin [VerfasserIn]

Resource type: Ressourcentyp: BuchBuchSprache: Englisch Verlag: Shelter Island : Manning, [2017]Beschreibung: xxix, 453 Seiten : Illustrationen ; 24 cmISBN:

9781617293023

Schlagwörter:

Wieland, Christoph Martin (1733-1813). Idris
Funktionale Programmierung
Idris (Computer program language)
Computer programming

DDC-Klassifikation:

005.1

Call number: Grundsignatur: 2017 A 3095PPN: PPN: 1626039194

Exemplare ( 1 )

Exemplare
Medientyp	Heimatbibliothek	Sammlung	Standort	Signatur	Status	Barcode
Freihandbestand ausleihbar	Bibliothek Campus Süd	inf 3.11	Lesesaal Wirtschaftswissenschaften und Informatik (LSW)	2017 A 3095	Verfügbar	53027477090

Anzahl Vormerkungen: 0