Ces onze contributions reflètent les récentes avancées de la recherche concernant aussi bien l'application des langages fonctionnels que la conception...
Lire la suite
44,00 €
Neuf
Expédié sous 2 à 4 semaines
Livré chez vous entre le 6 juin et le 20 juin
En magasin
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.