Recherche
Plus d'un million de livres référencés
JFLA 2010 : Studia Informatica Universalis

JFLA 2010 : Studia Informatica Universalis

Auteur : Richard Bonichon

Editeur : Hermann

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.

42,00 €
Vendeur : Amazon
Parution :
ISBN : 978-2-7056-7025-2
Donnez votre avis