Edwin Brady Type-driven Development with Idris (Taschenbuch) (US IMPORT)
67,88 €
Produktart: Taschenbuch. book teaches readers using Idris, a language designed from the very. • Written by the creator of Idris. Autor: Edwin Brady. Readers learn how to. are explicit and checkable, and you can precisely state and verify.
Jetzt bei Ebay:
-
Buchtitel:Type-driven Development with Idris
-
Autor:Edwin Brady
-
Produktart:Taschenbuch
-
ISBN-10:1617293024
-
EAN:9781617293023
-
ISBN:9781617293023
-
Verlag:Manning Publications
-
Genre:Computing & Internet
-
Erscheinungsdatum:08.05.2017
-
Sprache:Englisch
-
Herstellungsland und -region:US
-
Höhe:234mm
-
Länge:185mm
-
Breite:24mm
-
Gewicht:780g
-
Economy Shipping from outside:Sparversand aus dem Ausland kostenlos - Lieferung zwischen 02. July 2025 und 14. July 2025 (bei heutigem Zahlungseingang)
-
Versand nach:Weltweit
-
Versand ausgeschlossen:Brasilien , Israel , Russische Föderation , Frankreich , Großbritannien , Guernsey , Irland , Italien , Jersey , Niederlande , ... und weitere