Studia Informatica Universalis, JFLA 2010

Actes des vingt-et-unièmes Journées francophones des langages applicatifs

Ivan Lavallée

Ces onze 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.

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, JFLA 2010

Actes des vingt-et-unièmes Journées francophones des langages applicatifs

Catalogue

Les éditions Hermann

Contact

Newsletter