Passionné(e) de lecture ? Inscrivez-vous gratuitement ou connectez-vous pour rejoindre la communauté et bénéficier de toutes les fonctionnalités du site !  

Studia informatica universalis ; JFLA 2010

Couverture du livre « Studia informatica universalis ; JFLA 2010 » de  aux éditions Hermann
  • Date de parution :
  • Editeur : Hermann
  • EAN : 9782705670252
  • Série : (-)
  • Support : Papier
Résumé:

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.

Donner votre avis

Donnez votre avis sur ce livre

Pour donner votre avis vous devez vous identifier, ou vous inscrire si vous n'avez pas encore de compte.