Studia Informatica Universalis, JFLA 2010
par Ivan Lavallée
Actes des vingt-et-unièmes Journées francophones des langages applicatifs
Crédits & contributions
EAN
TexteIvan Lavallée
- ÉditeurHERMANN
- Parution18 mars 2010
Prix TTC
44,00€
Sur commande
Titre disponible chez l’éditeur, commande possible sur demande.
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.