Studia Informatica Universalis n°7-2 JFLA 2009

par Ivan Lavallée

Actes des vingtièmes Journées francophones des langages applicatifs

Crédits & contributions

EAN

TexteIvan Lavallée

ÉditeurHERMANN
Parution29 août 2009
CollectionStudia informatica universalis

Prix TTC

45,00€

Sur commande

Titre disponible chez l’éditeur, commande possible sur demande.

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.