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

Couverture du livre « Studia informatica universalis t.7.2 » de  aux éditions Hermann
  • Date de parution :
  • Editeur : Hermann
  • EAN : 9782705669171
  • Série : (-)
  • Support : Papier
Résumé:

Ces neuf 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. Avec également des articles plus proches de tutoriels ou de retours d'expérience.

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.