Studia Informatica Universalis n°7-2 JFLA 2009

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

Ivan Lavallée

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.

Plus de livres du même auteur

Studia Informatica Universalis n°8-3. New technologies of distributed systems

Ivan Lavallée, Abdel Obaïd

19/11/2010

Studia Informatica Universalis n°9.1

Micaela Mayero, Ivan Lavallée

23/10/2013

Premiers pas en LaTeX

Ivan Lavallée

23/05/2012

Les éditions Hermann

Contact

Les éditions Hermann
6 rue Labrouste,
75015 Paris
Tél : 01 45 57 45 40
Nous contacter

Abonnez-vous pour rester informés des parutions mensuelles, des actualités du magazine et des événements Hermann.

Nous diffusons des cookies afin d'analyser le trafic sur ce site. Les informations concernant l'utilisation que vous faites de notre site nous sont transmises dans cette optique.

Studia Informatica Universalis n°7-2 JFLA 2009

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

Catalogue

Les éditions Hermann

Contact

Newsletter