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

Lavallée Ivan

HERMANN

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.
50,50 €
Disponible sur commande
EAN
9782705669171
Image non contractuelle