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

Par :

Formats :

  • Paiement en ligne :
    • Livraison à domicile ou en point Mondial Relay indisponible
    • 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.