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
La Poste Autrichienne 5.49 Coursier DPD 3.99 Point DPD 2.99

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 129 b
52.79 TVA incluse
Stockage externe Expédition sous 9-15 jours
Autriche Livraison à Autriche

Politique de retour sous 30 jours


Les clients ont également acheté


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

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 pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes 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 73.39
Practical Concurrent Haskell Stefania Loredana Nita / Livre Livre de poche
common.buy 63.19
ISE Software Engineering: A Practitioner's Approach Roger Pressman / Livre Livre de poche
common.buy 87.19
Top Nouveauté
Lord of Mysteries, Vol. 3: The Clown, Part III Cuttlefish That Loves Diving / Livre Livre de poche
common.buy 15.89
Elementary Korean Workbook Insun Lee / Livre Livre de poche
common.buy 16.49
You Don't Know JS Yet Simon St Laurent / Livre Livre de poche
common.buy 24.99
Happier: Can you learn to be Happy? (UK Paperback) Tal Ben-Shahar / Livre Livre de poche
common.buy 15.79
Sklepy cynamonowe BRUNO SCHULZ / Livre Livre de poche
common.buy 11.99
Top
Art of Guweiz Zheng Wei Gu / Livre Livre relié
common.buy 32.59
How You Can Save the Planet Hendrikus van Hensbergen / Livre Livre de poche
common.buy 9.19
Top
Touch Book Nicola Edwards / Livre Livre Concertina
common.buy 12.49
User Friendly Cliff Kuang / Livre Livre relié
common.buy 24.09
Imagination and Art: Explorations in Contemporary Theory Ananta Ch Sukla / Livre Livre relié
common.buy 272.39
Dreams, Visions, Imaginations Tobias Nicklas / Livre Livre relié
common.buy 150.79
A Choir of Lies Alexandra Rowland / Livre Livre de poche
common.buy 24.59
Sanditon Kate Riordan / Livre Livre de poche
common.buy 12.49
Dinosaur Therapy James Stewart / Livre Livre relié
common.buy 11.49
Sports: Wrestling Nick Rebman / Livre Livre de poche
common.buy 9.19
My First Mother Goose Nursery Rhymes Lisa McCue / Livre Livre Concertina
common.buy 6.99
The Girl in the Window Renaee Pawlish / Livre Livre de poche
common.buy 17.29
Bientôt Nouveauté
Child-Centered Play Therapy Nancy H. Cochran / Livre Livre de poche
common.buy 65.89
Rogue: The Savage Land SEELEY TIM / Livre Livre de poche
common.buy 16.49

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 ?