[email protected]
Nous vous répondrons dans les 24 heures
La Poste Autrichienne 5.99 €
Coursier DPD 6.49 €
Service de messagerie GLS 4.49 €
Contact
Comment faire ses achats
Assistance
Livraison
La Poste Autrichienne 5.99 €
Coursier DPD 6.49 €
Service de messagerie GLS 4.49 €
Guide d'achat
Nous sommes à votre disposition !
[email protected]
Mon compte
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages.
Créer un compte gratuitement
▸
Vide :-(
0
Type-driven Development with Idris
Langue
Anglais
Anglais
Livre
Livre de poche
Summary Type-Driven Development with Idris, written by the creator of Idris, teaches you how to impr...
Code Libristo: 12404702
?
140 b
140 b
59.29
€
včetně DPH
Stockage externe
Expédition sous 3-5 jours
common.delivery_to
common.delivery_to
Politique de retour sous 30 jours
Ceci pourrait également vous intéresser
Summary Type-Driven Development with Idris, written by the creator of Idris, teaches you how to improve the performance and accuracy of your programs by taking advantage of a state-of-the-art type system. This book teaches you with Idris,
À propos du livre
Nom complet
Type-driven Development with Idris
Auteur
Edwin Brady
Langue
Anglais
Anglais
Reliure
Livre - Livre de poche
Date de parution
2017
Nombre de pages
480
EAN
9781617293023
ISBN
1617293024
Code Libristo
12404702
Éditeurs
Manning Publications
Poids
812
Dimensions
235 x 191 x 25
