EAN : 9782705669171 - Auteur : - Editeur : HERMANN - Nb de pages : 0 - Ces neuf contributions reflètent les récentes avancées de la recherche concernant aussi bien l'ap...
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.
Neuf
Commentaires (0)
Aucun avis n'a été publié pour le moment.
Votre avis ne peut pas être envoyé
Signaler le commentaire
Êtes-vous certain de vouloir signaler ce commentaire ?
Signalement envoyé
Votre signalement a bien été soumis et sera examiné par un modérateur.
Votre signalement ne peut pas être envoyé
Donnez votre avis
Avis envoyé
Votre commentaire a bien été enregistré. Il sera publié dès qu'un modérateur l'aura approuvé.
Votre avis ne peut être envoyé
EAN : 9782705669171 - Auteur : - Editeur : HERMANN - Nb de pages : 0 - Ces neuf contributions reflètent les récentes avancées de la recherche concernant aussi bien l'ap...