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