×
Mise à jour en cours…
Supprimer ce produit ?
Cette action retirera
ce produit
de votre liste.
Annuler
Supprimer
Recherche en cours
Nous parcourons le catalogue. Merci de patienter quelques instants.
FAQ
Contact
Rechercher dans le catalogue
Type de produit
Tous les produits
DVD
Jeux vidéo
Livres
CD
Rechercher
Se connecter
Inscription gratuite
Menu
DVD
Jeux vidéo
Livres
CD
Acheter sur Amazon
Livre
Actuellement indisponible
Interactive Theorem Proving and Program Development
Parution
24/06/2004
Auteur
Yves Bertot
Traduction
G. Huet
Valeur d’échange
9 points
Je l'ai
Ajouter à ma liste
Je le veux
Ajouter à mes souhaits
Produits similaires
Real World Haskell
Critiques et avis
Donner mon avis sur ce produit
