Type-driven development with Idris / Edwin Brady
Resource type: Ressourcentyp: BuchBookLanguage: English Publisher: Shelter Island : Manning, [2017]Description: xxix, 453 Seiten : Illustrationen ; 24 cmISBN:- 9781617293023
- 005.1
Item type | Home library | Collection | Shelving location | Call number | Status | Barcode | |
---|---|---|---|---|---|---|---|
Freihandbestand ausleihbar | Bibliothek Campus Süd | inf 3.11 | Lesesaal Wirtschaftswissenschaften und Informatik (LSW) | 2017 A 3095 | Available | 53027477090 |
Total holds: 0