Programmation fonctionnelle: spécifications & applications
Alain Couturier, Gérald Jean-Baptiste
A travers les fondements théoriques de la programmation fonctionnelle, ce livre expose le cheminement, de l'étude de la spécification formelle à l'application, en passant par l'algorithme. L'illustration de l'application des algorithmes est représentée sous différents langages (ISETL, CLEAN, HASKELL, Poly/ML). Cet ouvrage est un support pédagogique destiné aux étudiants du 1er cycle universitaire, spécialisés en informatique, il peut être un complément aux étudiants de 2ème cycle soucieux d'une programmation proche des spécifications formelles. En outre, il peut être un support de cours ou un didacticiel pour les enseignants souhaitant approfondir ce domaine.
Տարի:
2003
Հրատարակչություն:
Éditions Cépaduès
Լեզու:
french
Էջեր:
31
ISBN 10:
2854286081
ISBN 13:
9782854286083
Ֆայլ:
DJVU, 4.85 MB
IPFS:
,
french, 2003