Éditeur(s):
Cépaduès
Rédigé comme support de cours, l'ouvrage décrit les fondements théoriques de la programmation fonctionnelle, l'étude de la spécification formelle et sa réalisation, ainsi que l'algorithme. Nombreux exemples utilisant divers langages (Istel, Clean, Haskell, Poly/ML). ...
56,00 €