OFFRE LISEUSES

Une liseuse achetée = une housse offerte* jusqu'au 21 juin

Programmation fonctionnelle. Spécifications & applications, 2 volumes

Par : Alain Couturier, Gérald Jean-Baptiste
Formats :
Expédié sous 127 jours
Cet article sera commandé chez un fournisseur et vous sera envoyé 127 jours après la date de votre commande.
Nous vous prions de nous excuser mais rencontrons momentanément des soucis d'approvisionnement. C’est le moment de vous laisser tenter par nos livres numériques et notre offre occasion.
  • Paiement en ligne :
    • Livraison à domicile ou en point Mondial Relay estimée à partir du 28 octobre
      Cet article sera commandé chez un fournisseur et vous sera envoyé 127 jours après la date de votre commande.
    • Retrait Click and Collect en magasin gratuit
  • Réservation en ligne avec paiement en magasin :
    • Indisponible pour réserver et payer en magasin
  • Nombre de pages572
  • PrésentationBroché
  • Poids0.75 kg
  • Dimensions14,5 cm × 20,5 cm × 3,1 cm
  • ISBN2-85428-608-1
  • EAN9782854286083
  • Date de parution01/06/2003
  • ÉditeurCépaduès

Résumé

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.