Studia Informatica Universalis n°7 - 2 JFLA 2009. Actes des vingtièmes Journées francophones des langages applicatifs

Par :

Formats :

45,00 €
  • Paiement en ligne :
    • Livraison à domicile ou en point Mondial Relay estimée à partir du 7 janvier
      Cet article sera commandé chez un fournisseur et vous sera envoyé 21 jours après la date de votre commande.
    • Retrait Click and Collect en magasin gratuit
  • Nombre de pages507
  • PrésentationBroché
  • Poids0.397 kg
  • Dimensions15,2 cm × 22,9 cm × 1,5 cm
  • ISBN978-2-7056-6917-1
  • EAN9782705669171
  • Date de parution29/08/2009
  • CollectionStudia informatica universalis
  • ÉditeurHermann
  • EditeurIvan Lavallée

Résumé

Ces neuf contributions reflètent les récentes avancées de la recherche concernant aussi bien l'application des langages fonctionnels que la conception et l'utilisation d'assistants à la preuve. Avec également des articles plus proches de tutoriels ou de retours d'expérience.
Ces neuf contributions reflètent les récentes avancées de la recherche concernant aussi bien l'application des langages fonctionnels que la conception et l'utilisation d'assistants à la preuve. Avec également des articles plus proches de tutoriels ou de retours d'expérience.