Studia Informatica Universalis, JFLA 2010

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

Ivan Lavallée
couverture
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
couverture-de-livre

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

Ivan Lavallée, Abdel Obaïd

19/11/2010

couverture-de-livre

Studia Informatica Universalis n°9.1

Micaela Mayero, Ivan Lavallée

23/10/2013

couverture-de-livre

Premiers pas en LaTeX

Ivan Lavallée

23/05/2012

2019 © éditions Hermann. Tous droits réservés.
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.