Studia Informatica Universalis, JFLA 2010, Actes des vingt-et-unièmes Journées francophones des langages applicatifs
EAN13
9782705670252
ISBN
978-2-7056-7025-2
Éditeur
Hermann
Date de publication
Collection
HR.HORS COLLEC.
Nombre de pages
310
Dimensions
22,9 x 15,2 x 1,6 cm
Poids
420 g
Langue
français

Studia Informatica Universalis, JFLA 2010

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

Édité par

Hermann

Hr.Hors Collec.

Trouvez les offres des librairies les plus proches :
ou
entrez le nom de votre ville

Offres


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.
S'identifier pour envoyer des commentaires.