LIBRISTO
LIBROAMANTO
Obligatoire
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
0
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 Point Bpost 7.99 Bpost 7.49 Point DPD 3.49 Service de messagerie GLS 4.49

Livraison gratuite à partir de 69.99 euros.

Type-driven Development with Idris

Langue AnglaisAnglais
Livre Livre de poche
Livre Type-driven Development with Idris Edwin Brady
Code Libristo: 12404702
Éditeurs Manning Publications, avril 2017
Summary Type-Driven Development with Idris, written by the creator of Idris, teaches you how to impr...
? points 124 b
51.07
Stockage externe Expédition sous 9-15 jours

Politique de retour sous 30 jours


Les clients ont également acheté


Types and Programming Languages Pierce / Livre Livre relié
common.buy 104.49
Top
Inner Work Robert A. Johnson / Livre Livre de poche
common.buy 13.54
Zur Semantik von rike in der Saechsischen Weltchronik Pfefferkorn Meike Pfefferkorn / Livre numérique Adobe ePub DRM
common.buy 71.00

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,

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Type-driven Development with Idris
Auteur Edwin Brady
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2017
Nombre de pages 480
EAN 9781617293023
ISBN 1617293024
Code Libristo 12404702
Poids 812
Dimensions 235 x 191 x 25
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser


Data-Oriented Programming Sharvit / Livre Livre de poche
common.buy 70.50
Practical Concurrent Haskell Stefania Loredana Nita / Livre Livre de poche
common.buy 60.58
ISE Software Engineering: A Practitioner's Approach Roger Pressman / Livre Livre de poche
common.buy 83.95
Top Nouveauté
Lord of Mysteries, Vol. 3: The Clown, Part III Cuttlefish That Loves Diving / Livre Livre de poche
common.buy 14.96
Elementary Korean Workbook Insun Lee / Livre Livre de poche
common.buy 15.77
You Don't Know JS Yet Simon St Laurent / Livre Livre de poche
common.buy 23.96
Happier: Can you learn to be Happy? (UK Paperback) Tal Ben-Shahar / Livre Livre de poche
common.buy 14.96
Sklepy cynamonowe BRUNO SCHULZ / Livre Livre de poche
common.buy 11.62
Top
Art of Guweiz Zheng Wei Gu / Livre Livre relié
common.buy 31.05
How You Can Save the Planet Hendrikus van Hensbergen / Livre Livre de poche
common.buy 8.69
Top
Touch Book Nicola Edwards / Livre Livre Concertina
common.buy 11.83
User Friendly Cliff Kuang / Livre Livre relié
common.buy 22.85
Imagination and Art: Explorations in Contemporary Theory Ananta Ch Sukla / Livre Livre relié
common.buy 263.00
Dreams, Visions, Imaginations Tobias Nicklas / Livre Livre relié
common.buy 145.56
A Choir of Lies Alexandra Rowland / Livre Livre de poche
common.buy 23.56
Sanditon Kate Riordan / Livre Livre de poche
common.buy 11.83
Dinosaur Therapy James Stewart / Livre Livre relié
common.buy 10.81
Sports: Wrestling Nick Rebman / Livre Livre de poche
common.buy 8.89
My First Mother Goose Nursery Rhymes Lisa McCue / Livre Livre Concertina
common.buy 6.67
The Girl in the Window Renaee Pawlish / Livre Livre de poche
common.buy 16.68
Bientôt Nouveauté
Child-Centered Play Therapy Nancy H. Cochran / Livre Livre de poche
common.buy 63.82
Rogue: The Savage Land SEELEY TIM / Livre Livre de poche
common.buy 15.77

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?